diff options
| -rw-r--r-- | post-receive | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/post-receive b/post-receive index d888042..1e86a78 100644 --- a/post-receive +++ b/post-receive @@ -1,7 +1,13 @@ +# Skip build if using git push with -o or --push-option +if [[ -v GIT_PUSH_OPTION_0 ]]; then + exit +fi + # Solution to # remote: fatal: not a git repository: '.' unset GIT_DIR +# Update local clone cd /var/lib/forgejo/website git pull git submodule update |