diff --git a/publish.sh b/publish.sh index 0c5e798..a52c455 100755 --- 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 ../