Learn more about these different git repos.
Other Git URLs
As suggested in ticket 180
Wrong trac :(
Login to comment on this ticket.