sternenseemann c955b30d4c dune-release: fix tests for newer git versions ... Newer git versions show a hint when calling `git init` to set the default initial branch to something like 'main'. This obviously is printed to stderr and thus not hidden by `> /dev/null`. We fix the ensuing test failure by setting a branch in the invocation.		2021-01-13 09:54:56 +01:00
..
default.nix