forked from
anil.recoil.org/monopam
Monorepo management for opam overlays
monopam: use configured knot for push URL conversion
Pass the knot from config to url_to_push_url when pushing, ensuring
tangled URLs are converted to the user's private knot server rather
than hardcoded default.
+5
-1
+1
lib/dune_project.mli
+1
lib/dune_project.mli
···
30
30
URL derivation logic:
31
31
- [Github {user; repo}] -> "git+https://github.com/user/repo.git"
32
32
- [Gitlab {user; repo}] -> "git+https://gitlab.com/user/repo.git"
33
+
- [Tangled {host; repo}] -> "git+https://tangled.sh/@host/repo.git"
33
34
- [Uri {url; _}] -> url normalized with git+ prefix
34
35
- No source but homepage present -> homepage normalized with git+ prefix
35
36
- Neither source nor homepage -> Error *)
+4
-1
lib/monopam.ml
+4
-1
lib/monopam.ml
···
1171
1171
let name = Package.repo_name pkg in
1172
1172
update_progress "Push" name;
1173
1173
let branch = branch ~config pkg in
1174
-
let push_url = url_to_push_url (Package.dev_repo pkg) in
1174
+
let knot = Config.knot config in
1175
+
let push_url =
1176
+
url_to_push_url ~knot (Package.dev_repo pkg)
1177
+
in
1175
1178
Log.info (fun m -> m "Pushing %s to %s" name push_url);
1176
1179
let repo =
1177
1180
Git.Repository.open_repo ~fs:fs_t checkout_dir