What is derek?
When someone sends a PR without a sign-off, I'll apply a label no-dco and also send them a comment pointing them to the contributor guide. Most of the time when I've been helping the OpenFaaS project - people read my message and fix things up without you having to get involved.
derek is a tool in the Tools for GitHub category of a tech stack.
derek is an open source tool with 500 GitHub stars and 46 GitHub forks. Here’s a link to derek's open source repository on GitHub
Why developers like derek?
Here’s a list of reasons why companies and developers use derek
Be the first to leave a pro
derek Alternatives & Comparisons
What are some alternatives to derek?
See all alternatives
When run, this command line interface automatically generates a new GitHub Release and populates it with the changes (commits) made since the last release.
These polls work by pasting individual markdown SVG images into your issue, each wrapped with a link that tracks a vote. A single vote per IP is allowed for a given poll, which are stored in DynamoDB.
Browser extensions (Chrome, Firefox, Safari and Opera) to display GitHub code in tree format. Useful for developers who frequently read source in GitHub and do not want to download or checkout too many repositories.
DevHub helps you take back control of your GitHub workflow and stay on top of everything important going on.
We use GitHub a lot and notice many dumb annoyances we'd like to fix. So here be dragons.