Turns out #git 1.7 allows `git push origin --delete branch_foo`. The `git push origin :branch_foo` syntax was always slightly unfortunate.
miniblog.
Related Posts
2
Go has an os.Root API that allows you to enforce all paths are subdirectories of a given root. It fixes users accessing foo/../../../etc/passwd and similar.
Seems like a really nice solution for a relatively common problem.
1
I'm increasingly treating terminal sessions as short lived: starting a fresh terminal tab keeps scrollback short and easy to search.
I'd love to have a terminal emulator that allows me to skip over output of specific verbose commands when searching.
I've been really enjoying paru as a pacman substitute on Arch Linux: https://github.com/Morganamilo/paru
It allows you to update both normal and AUR packages in one go, which is super convenient. It also shows you PKGBUILD files, so there's still a human audit step for AUR.