test: Add repro case for ocaml#11113

Building the FStar repo fails because the branch and tag are named the same, as reported in ocaml#11113. This simplifies the setup into a test-case. Signed-off-by: Marek Kubica <[email protected]>
Leonidas-from-XIV · Nov 13, 2024 · 89617fa · 89617fa
1 parent c5b60e6
commit 89617fa
Showing 1 changed file with 13 additions and 1 deletion.
diff --git a/test/blackbox-tests/test-cases/pkg/pin-stanza/git-source.t b/test/blackbox-tests/test-cases/pkg/pin-stanza/git-source.t
@@ -5,9 +5,11 @@ Package sources can be set to git:
   $ mkrepo
   $ add_mock_repo_if_needed
 
+We create a repo with a fixed name for the default branch.
+
   $ mkdir _repo
   $ cd _repo
-  $ git init --quiet
+  $ git init --initial-branch=duplicated --quiet
   $ cat >dune-project <<EOF
   > (lang dune 3.13)
   > (package (name foo))
@@ -29,3 +31,13 @@ Package sources can be set to git:
   $ dune pkg lock
   Solution for dune.lock:
   - foo.dev
+
+We create a tag that clashes with the name of the branch (hence we needed to
+fix the name of the branch eariler):
+
+  $ git -C _repo tag duplicated
+
+This should work but it fails at the moment:
+
+  $ dune pkg lock 2> /dev/null
+  [1]