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
I'm impressed and slightly surprised that I can browse the web even when my local library's wifi blocks detectportal.firefox.com ("Download sites are banned").
It seems that Firefox only requires the website to be redirected when there's a captive portal.
I'm slightly surprised that Rust has implemented the Default trait for booleans: https://doc.rust-lang.org/src/core/default.rs.html#205
The default is false, but it feels very arbitrary. Maybe it makes more sense next to integers, where the default value is 0.
Today I learnt about the NonNull<T> type in Rust: https://doc.rust-lang.org/nightly/core/ptr/struct.NonNull.html
It's a *mut T that is never null. Rust is trusting you even more than a normal *mut T, which is slightly daunting.