We might want to emphasize somehow that URL should be the URL of a git repository (assuming I understand this correctly).