Show HN: Derek GitHub bot that delegates fine-grained permissionsgithub.com/alexellis2 pointsalexellisuk9 years ago