|
||||||||||||||
This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators. For more information on JIRA, see: http://www.atlassian.com/software/jira |
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.
git indeed seems to handle both, according to http://stackoverflow.com/questions/11068576/why-do-some-repository-urls-end-in-git-while-others-dont
as github gives you URL to be used to connect repository that includes this extension, I'd prefer to close this issue, as I can't really investigate much JGit internals to know how to add support for this.