{bash,zsh}rc: maybe also handle accidental branch renaming? ':)

This commit is contained in:
Aminda Suomalainen 2024-08-10 12:50:36 +03:00
parent 68286f804c
commit 67366a2356
Signed by: Mikaela
SSH Key Fingerprint: SHA256:CXLULpqNBdUKB6E6fLA1b/4SzG0HvKD19PbIePU175Q
2 changed files with 2 additions and 0 deletions

View File

@ -749,6 +749,7 @@ function shell-things {
cd $SHELL_THINGS_REPO
git remote set-url origin https://codeberg.org/Aminda/shell-things.git
git fetch --all
git checkout -b cxefa origin/cxefa
git pull
echo "git config --global gpg.ssh.allowedSignersFile ~/src/codeberg.org/Aminda/ssh-allowed_signers/allowed_signers"
git verify-commit HEAD || exit 1

View File

@ -735,6 +735,7 @@ function shell-things {
cd $SHELL_THINGS_REPO
git remote set-url origin https://codeberg.org/Aminda/shell-things.git
git fetch --all
git checkout -b cxefa origin/cxefa
git pull
echo "git config --global gpg.ssh.allowedSignersFile ~/src/codeberg.org/Aminda/ssh-allowed_signers/allowed_signers"
git verify-commit HEAD || exit 1