Update sync_docs.sh

This commit is contained in:
RW
2023-11-15 08:51:19 +01:00
committed by GitHub
parent 34ee199967
commit 28865821d5

View File

@@ -1,4 +1,5 @@
#!/usr/bin/env bash
set -e
# Some env variables
BRANCH="main"