Do we (and will we) always build from a git URL of the form `git@github.com:...` rather than `https://github.com/...` or similar?  Should we handle other forms (because I could believe this will trip us up in future)?

Alternatively, I wonder if we could just include `$$(git config --get remote.origin.url)` here.  Maybe a question for the Product Owner about what exactly is required?