Faster GitHub push using git's pushInsteadOf