mirror of
https://github.com/flatcar/scripts.git
synced 2025-10-13 00:11:03 +02:00
If the uri points to a path within the repo then the format is git+https://repo@ref#path. ORIG_HEAD is actually the previous HEAD, so read use that to extract the correct ref.