Bug #579

external repo mirror doesn't handle git@github:// locations

Added by Chris Cannam about 11 years ago.

Status:NewStart date:2013-05-18
Priority:HighDue date:
Assignee:Chris Cannam% Done:

0%

Category:-
Target version:-

Description

Git repos sometimes come with an ssh-like location syntax, e.g. :danstowell/chirpletringmod.git rather than a URL. If someone enters this as their external repo location, the site won't update the repo (because it checks that URLs look like URLs) but it also won't report any error. We should support this syntax.

(Note, this would need support in the repo mirror script rather than the site code, hence assigning to myself)

Also available in: Atom PDF