Skip to content

Tag Archives: delete

Git: When to Close (Delete) Branch after PR

15-Jan-19

When should I close (i.e. delete) the branch after a successful pull request? Rule of thumb: always. (There are exceptions of course.) What if I need to recover the deleted work? You'll just git checkout -b <branch> <sha>  

Cmd-Backspace To Delete

04-Mar-08

Trash your selected items with Command-Backspace (some hints say Command-Delete, but it doesn't work for me, go figure).