Commits on Feb 14, 2020

1. Automatically delete branches when PRs are merged …

   - This is an option that GitHub added to their web UI last year, and I
     started going through repos and ticking the option manually because it
     wasn't in the API.
   - Now it's in the API (https://developer.github.com/v3/repos/#edit), so
     let's automatically configure all the repos to delete HEAD branches
     when PRs are merged. This doesn't delete the branches of PRs that are
     _closed_.
   - This saves developers time and cuts down on the amount of stale, merged
     branches left on repos for years going forward.

   

   issyl0 committed Feb 14, 2020
   Configuration menu

   • View commit details
   • Copy full SHA for 1b1eb3c
   • Browse repository at this point

   Copy the full SHA

   1b1eb3c View commit details

   Browse the repository at this point in the history