Community
Participate
Working Groups
The patch should be trivial, just checking for a prefix of "git clone" and if that is present, cut out the substring.
Looks like this was missed in https://git.eclipse.org/r/#/c/40317/ .
New Gerrit change created: https://git.eclipse.org/r/62818
Gerrit change https://git.eclipse.org/r/62818 was merged to [master]. Commit: http://git.eclipse.org/c/egit/egit.git/commit/?id=39f3c68d70a6812ecf0f95a2c8a1129026bfdea4
submitted