anil.recoil.org
My aggregated monorepo of OCaml code, automaintained
Fix tangled.org URL parsing to strip @ prefix from username
The tangled.org URL format uses @username in the path (e.g.,
https://tangled.org/@anil.recoil.org/foo). This strips the leading @
when converting to a push URL.
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
+5
-1
monopam/lib/monopam.ml
+5
-1
monopam/lib/monopam.ml
···
426
426
else path in
427
427
Printf.sprintf "git@github.com:%s" path
428
428
| Some ("https" | "http"), Some "tangled.org" ->
429
-
(* https://tangled.org/anil.recoil.org/foo -> git@git.recoil.org:anil.recoil.org/foo *)
429
+
(* https://tangled.org/@anil.recoil.org/foo -> git@git.recoil.org:anil.recoil.org/foo *)
430
430
let path = if String.length path > 0 && path.[0] = '/' then
431
+
String.sub path 1 (String.length path - 1)
432
+
else path in
433
+
(* Strip leading @ from username if present *)
434
+
let path = if String.length path > 0 && path.[0] = '@' then
431
435
String.sub path 1 (String.length path - 1)
432
436
else path in
433
437
(* Strip .git suffix if present *)