Sync latest changes to website repo before pushing

[update-doc]
Colvars · Dec 5, 2023 · e4369a0 · e4369a0
1 parent 84cbf49
commit e4369a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/update_website.sh b/doc/update_website.sh
@@ -34,6 +34,7 @@ if make install && pushd ${COLVARS_WEBSITE_TREE} ; then
     fi
     git commit -m "Update doc for version \"${COLVARS_RELEASE}\""
     # Hard-code the website repository
+    git pull --rebase [email protected]:Colvars/colvars.github.io master
     git push [email protected]:Colvars/colvars.github.io master
     popd
 fi