Merge remote-tracking branch 'origin/main'

This commit is contained in:
stephb9959
2022-12-12 14:36:05 -08:00

View File

@@ -34,6 +34,7 @@ jobs:
git config --global user.name "TIP Automation User"
git pull
git checkout gh-pages || git checkout -b gh-pages
rm -rf docs
mv tmp-docs docs
git add docs
git commit -m'Update OpenAPI docs for GitHub pages'