Show HN: derek – a GitHub bot to help teams manage PRs and issuesgithub.com/alexellis6 pointsalexellisuk9 years ago