mugit @ 7218955

# set head: sets default branch

git init local

cp file.txt local/file.txt

git -C local add file.txt

git -C local commit -m 'init master'

git -C local switch -c develop

cp develop.txt local/develop.txt

git -C local add develop.txt

git -C local commit -m 'init develop'

mugit repo new heady

git -C local push file://$REPOS/heady.git master

git -C local push file://$REPOS/heady.git develop

exec cat $REPOS/heady.git/HEAD

stdout 'ref: refs/heads/master'

# change head

mugit repo set-default heady develop

stderr 'changed repo head repo=heady.git branch=develop' # fix output

exec cat $REPOS/heady.git/HEAD

stdout 'ref: refs/heads/develop'

# go back to master

mugit repo set-default heady.git master

stderr 'changed repo head repo=heady.git branch=master' # fix output

exec cat $REPOS/heady.git/HEAD

stdout 'ref: refs/heads/master'

# can't use non existent branch

! mugit repo set-default nonexistent main

stderr 'failed to open repo'

# no repo provided

! mugit repo set-default

stderr 'no name provided'

-- file.txt --

initial content

-- develop.txt --

develop content