Subscribe
Sign in

All activity
Shlomo Kraus
Pull requests should be small, surgical, keeping only the minimum required updates.
This extension adds a button to Github's Pull Request page that extracts files from one branch into a new one, so you can submit perfect PRs, even if you didn't plan ahead.
Cherry Pie
Cherry Pie
Chrome extension to craft the perfect pull request