Skip to content

Commit

Permalink
Added gh-pages update script
Browse files Browse the repository at this point in the history
  • Loading branch information
mossr committed Sep 15, 2023
1 parent 9986f92 commit 731b486
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .github/update_gh_pages.bat
Original file line number Diff line number Diff line change
@@ -0,0 +1,5 @@
@ECHO OFF
git checkout gh-pages
git merge main
git push
git checkout main

0 comments on commit 731b486

Please sign in to comment.