<div class="gmail_quote">On Mon, Sep 6, 2010 at 1:17 PM, David Nolden <span dir="ltr"><<a href="mailto:zwabel@googlemail.com">zwabel@googlemail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
2010/9/6 Andreas Pakulat <<a href="mailto:apaku@gmx.de">apaku@gmx.de</a>>:<br>
<div class="im">> Hmm, thats true. So drop Update and use Pull, though if we ever want to<br>
> support Pull completely I think it'll look somewhat strange to have Pull<br>
> and Pull... in the same menu...<br>
<br>
</div>Currently "Update" and "Pull..." do the same thing, so we need only<br>
one of them. If we want a real pull with choice of pull-source, we<br>
could call it "Pull From..." or something like that.<br>
<br>
Greetings, David<br>
<font color="#888888"><br>
--<br>
</font><div><div></div><div class="h5">KDevelop-devel mailing list<br>
<a href="mailto:KDevelop-devel@kdevelop.org">KDevelop-devel@kdevelop.org</a><br>
<a href="https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel" target="_blank">https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-devel</a><br>
</div></div></blockquote></div><br><div>There is a little difference, update should be sensitive to the directory you're in and pull is repository-wise, so I guess we should make pull stay.</div><div>Another point is that a git user will be more familiar to git vocabulary instead of svn's.</div>
<div><br></div><div>Aleix</div>