From caf3f01639d9fdf3e4f85be466594246f56de4d4 Mon Sep 17 00:00:00 2001 From: Your Name Date: Tue, 9 Jan 2024 16:51:47 -0700 Subject: [PATCH] Update Git remote URL and push changes --- .github/workflows/man-page-deploy.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/man-page-deploy.yml b/.github/workflows/man-page-deploy.yml index 412802f5d..0cdc9d6d0 100644 --- a/.github/workflows/man-page-deploy.yml +++ b/.github/workflows/man-page-deploy.yml @@ -32,6 +32,7 @@ jobs: run: | git config --global user.name 'GitHub Actions' git config --global user.email 'github-actions@github.com' + git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }} git add -A - git commit -m "Generated man pages" - git push \ No newline at end of file + git commit -m "Generated man pages" || echo "No changes to commit" + git push origin HEAD:${{ github.ref }} \ No newline at end of file