Add origin

Author: woojiahao

.github/workflows/publish.yml

@@ -23,4 +23,6 @@ jobs:
           git config --global user.email "[email protected]"
           git add .
           git commit -m "Upload docs"
+          git remote remove origin
+          git remote add origin https://github.com/git-mastery/git-autograder.git
           git push origin docs