Mirror repository on GitHub and prefer pull requests

Having now used Differential both as a submitter and recipient of
patches, I’ve come to the conclusion that it’s terrible for all sides
involved, and I’d much rather use GitHub pull requests.