update git push username

Citizen-Knowledge-Graph · Oct 18, 2023 · babd273 · babd273
1 parent 0b4e13f
commit babd273
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ckg-site_build.yml b/.github/workflows/ckg-site_build.yml
@@ -32,4 +32,4 @@ jobs:
           git add _site/ -f
           git commit -m "Deploy to GitHub Pages"
           echo "Using token: ${{ secrets.GH_PAT }} | head -c 5"
-          git push https://${{ secrets.GH_PAT }}@github.com/Citizen-Knowledge-Graph/ckg-site.git HEAD:gh-pages --force
+          git push https://wbglaeser:${{ secrets.GH_PAT }}@github.com/Citizen-Knowledge-Graph/ckg-site.git HEAD:gh-pages --force