3 ms·Show HN: Derek – a serverless bot to help you manage PRs and issues2 points by alexellisuk 9y ago