in future, i think if we push branches to github.com/twitter/pants instead, we should be able to push to one another's branches