fix: force push to website

This commit is contained in:
2023-12-16 20:45:25 +01:00
committed by GitHub
parent 82ec347545
commit 414c04433c

View File

@@ -14,9 +14,9 @@ mv original.docusaurus.config.js docusaurus.config.js
npm run typedoc-json
git add .
git -c user.name="sern bot" -c user.email="$2" commit -m "chore: update api documentation"
git push https://sernbot:$1@github.com/sern-handler/website.git
git push --force https://sernbot:$1@github.com/sern-handler/website.git
cd ..
cd sern-community
git add .
git -c user.name="sern bot" -c user.email="$2" commit -m "chore: update typedoc"
git push https://sernbot:$1@github.com/sern-handler/sern-community.git
git push https://sernbot:$1@github.com/sern-handler/sern-community.git