[IPython-dev] Pushed to master...
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.
More information about the IPython-dev