Opened a #Django pull request https://github.com/django/django/pull/2194 for an 8 year old bug!
miniblog.
Related Posts
I met some interesting gradual type people at POPL yesterday, and the schedule was full of good talks!
Friday opened with a great introduction to probabilistic PLs with live demos. It showed usage, although it feels like "random programming with magic"
GitHub enables you to do a ton via the browser, but AFAICS there's no way to rebase a pull request you've opened against someone's repo.
This is really handy when upstream has fixed tests. I've used it in some $JOB environments and it saves a few precious clicks.
Emacs tip: revert-buffer will reset a buffer as if you've just opened it. Handy if you've just chmod'd a shell script: switches to sh-mode.