Git Support ready-ness

[David Nolden]

2010/9/6 Andreas Pakulat <apaku at gmx.de>:
> Hmm, thats true. So drop Update and use Pull, though if we ever want to
> support Pull completely I think it'll look somewhat strange to have Pull
> and Pull... in the same menu...

Currently "Update" and "Pull..." do the same thing, so we need only
one of them. If we want a real pull with choice of pull-source, we
could call it "Pull From..." or something like that.

Greetings, David