[IPython-dev] Pushed to master...

Fernando Perez fperez.net at gmail.com
Sun Apr 3 12:32:21 EDT 2011


On Sun, Apr 3, 2011 at 8:26 AM, Thomas Kluyver <takowl at gmail.com> wrote:
> And of course then you have to do git pull origin master to update it.

Yes.  For convenience, you could define a little git alias 'pm=pull
origin master' to shorten that common operation, leaving you with the
safety of having to manually type out the more uncommon (and
dangerous) push one.

Cheers,

f



More information about the IPython-dev mailing list