done
Safely delete a merged feature branch: 1. Check out `master` 2. Check that there are no pending changes 3. Rebase onto latest github master 4. Check that there are no changes relative to feature branch 5. Delete feature branch type: development
type: added