jon.recoil.org
Testing of the @doc-json output
Move js_top_worker and odoc forks to tangled, use main branch
Switch from GitHub forks with non-main branches to tangled repos
using main branch, so opam-repo URLs match what monopam pushes.
Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
+2
-4
sources.toml
+2
-4
sources.toml
···
1
1
default_url_base = "git+https://tangled.org/jon.recoil.org"
2
2
3
3
[js_top_worker]
4
-
url = "git+https://github.com/jonnyfiveisonline/js_top_worker.git"
4
+
url = "git+https://tangled.sh/@jon.recoil.org/js_top_worker.git"
5
5
upstream = "git+https://github.com/jonludlam/js_top_worker.git"
6
-
branch = "enhancements"
7
6
origin = "join"
8
7
9
8
[odoc]
10
-
url = "git+https://github.com/jonnyfiveisonline/odoc.git"
9
+
url = "git+https://tangled.sh/@jon.recoil.org/odoc.git"
11
10
upstream = "git+https://github.com/ocaml/odoc.git"
12
-
branch = "staging-with-extensions"
13
11
14
12
[odoc-rfc-extension]
15
13
url = "git+https://tangled.sh/@jon.recoil.org/odoc-rfc-extension.git"