extra checks for publishing the right git branch

2022-07-19 16:35:39 +02:00 · 2022-07-19 16:35:39 +02:00 · e50967ab09
parent e67d690f28
commit e50967ab09
1 changed files with 3 additions and 0 deletions
--- a/publish.sh
+++ b/publish.sh
@ -1,5 +1,8 @@
 #!/bin/sh

+git switch main || exit
+git pull -r || exit
+
 if test -f /bsd # on OpenBSD
 then
    cd issues && make && cd ../