So after getting an error trying to push a merged pull request from
BitBucket on the locales repo, I realize Rintze already dealt with it.
On GitHub, pull requests are logged as issues you can close. Is that
not the case in BB?
Is there no other way to indicate a pull request has been taken care of?
Also, while we keep a BitBucket repo open, we should mirror it to
github. I’ve successfully done this using the instructions here:
E.g. if I do:
$ hg push
… then any changes will simultaneously push to github.