67a573dae8
In this case, `git commit --amend` fails. The state of a .git repo existing without a branch being checked out can be reached through the following sequence of events (which I just seem to have triggered): 1. The script calls `git init` 2. The user interrupts the script before `git commit` is finished |
||
|---|---|---|
| .. | ||
| copy-src.sh | ||
| create-git-repo.sh | ||
| make-container.sh | ||
| make-test-vm.nix | ||
| make-test.nix | ||
| test-lib.nix | ||