Skip to content

Tag Archives: close

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>  

Can't Close Window/Last Tab in Safari?

23-Jan-08

Your window (or the last tab) in Safari won't close? If you're like me, you installed SIMBL and Taboo while still using Safari 2 and forgot all about it. Update to Safari 3 apparently broke something. That's ok. Safari 3 also provides the same functionality we achieved with Taboo. Just remove the SIMBL directories (see […]