GitHub normally allows maintainers to push to branches, but the bot returns 404 errors when squashing a PR that isn't your own. @markusicu