Opened a #Django pull request https://github.com/django/django/pull/2194 for an 8 year old bug!
miniblog.
Related Posts
I'm increasingly doubtful that commit messages should be entirely immutable.
I sometimes find myself editing or commenting on merged pull requests, to help future readers.
Phabricator appended a URL to commit messages, which helped. In principle PR merging could do the same thing.
Achievement unlocked: when trying to work around an Emacs bug with long lines and pipes: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=6149#19 I hit a bug in Cask, the Emacs environment manager! https://github.com/cask/cask/pull/596
Software is hard.
Ooh, I've just discovered that you can enable actions on GitHub pull requests by default! This is the actions settings page.
My understanding is that GitHub introduced these limits to prevent people trying to run cryptominers on GitHub actions. Sounds like GitHub has largely fixed it.
