Change CI script to target branch for releases.

Author: myShoggoth

.github/workflows/main.yml

@@ -57,12 +57,12 @@ jobs:
             git config user.name github-actions
             git config user.email [email protected]
             stack exec --system-ghc site rebuild
-            git checkout testrelease
+            git checkout main
             git pull --rebase
             # Overwrite existing files with new files
             cp -a -v _site/. .
             #  Commit
             git add --all
             git commit -m "[`date '+%F %T %Z'`] New release [ci skip]"
             # Push
-            git push origin testrelease:testrelease
+            git push origin main:main