Mercurial's interface for pushing and pulling from github