search

githubtraining / introduction-to-github-apps

Course repo for Learning Lab course "introduction-to-github-apps". Template repo :arrow_right:
https://github.com/githubtraining/introduction-to-github-apps-template
Creative Commons Attribution 4.0 International
2 stars 7 forks source link

After merges, direct user to delete the branch. #76

Closed brianamarie closed 5 years ago

brianamarie commented 5 years ago

Whether we instruct the user to delete the branch at the same time we direct them to merge, or we instruct them to delete the branch after they merge, we should ask them to do it to be consistent with other courses.

brianamarie commented 5 years ago

This is also true for the 2nd pull request