Today I Learned: collection of notes, tips and tricks and stuff I learn from day to day working with computers and technology as an open source contributor and product manager

View project on GitHub

Delete Merged Branch

This is a really helpful bot, it deletes branches when merged.

Yes, you can restore them, but most often you forget to delete them so this is really helpful with cleaning out the things that crop up.

Resources and References