guile: warning: failed to install locale
environment variable `PATH' set to `/gnu/store/ihpvsqggc3qlnjyd2gk2vynnjs26zxvp-gzip-1.10/bin:/gnu/store/ghvn8hcaqid2xw34xfcgacanh612rqc7-tar-1.32/bin'
hint: Using 'master' as the name for the initial branch. This default branch name
hint: is subject to change. To configure the initial branch name to use in all
hint: of your new repositories, which will suppress this warning, call:
hint: 
hint: 	git config --global init.defaultBranch <name>
hint: 
hint: Names commonly chosen instead of 'master' are 'main', 'trunk' and
hint: 'development'. The just-created branch can be renamed via this command:
hint: 
hint: 	git branch -m <name>
Initialized empty Git repository in /gnu/store/qhgdmdpi90snycickx1ih8vgdv1kicgx-proof-general-4.4-1.1b1083e-checkout/.git/
From https://github.com/ProofGeneral/PG
 * branch            1b1083e86e0cddc20ff2f1a6b25c7a7eee2edf02 -> FETCH_HEAD
Note: switching to 'FETCH_HEAD'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at 1b1083e Merge pull request #627 from ProofGeneral/scratch-GPLv3