Learn more about these different git repos.
Other Git URLs
Two fixes, the first is the more important of the two
+1
tagging, but didn't test yet
Login to comment on this ticket.