Community
Participate
Working Groups
Build Identifier: git master The gnome developer guidelines suggest using a url alias for git://git.gnome.org to simplify working with their repository (http://live.gnome.org/Git/Developers#gnome:_clone_alias). jgit currently does not support this. The following patch adds basic support for this for push and pull urls. I don't know where else this kind of substitutions may be required. Reproducible: Always
Created attachment 210940 [details] Add support for aliases on urls
And just in case I need to explicitly say this, these changes are under the Eclipse Distribution License v1.0.
Can you post the patch to Gerrit? Instructions can be found here: http://wiki.eclipse.org/EGit/Contributor_Guide#Contributing_Patches
Setting up gerrit is too complicated for what is such a trivial change. If that means the patch ends up getting discarded, then so be it. I just don't have the time to jump through all the hoops at the moment.
This is actually a duplicate of bug346873 *** This bug has been marked as a duplicate of bug 346873 ***