[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