Is there anything less important than the origin URL of a Git repository?