From 6d4f01ffa02051d324d1aac15ada1cee1a7b649e Mon Sep 17 00:00:00 2001 From: Lucas Dufour <65276047+lduf@users.noreply.github.com> Date: Fri, 3 Nov 2023 13:53:35 +0100 Subject: [PATCH] Update doxygen.yaml --- .github/workflows/doxygen.yaml | 22 +++++++++------------- 1 file changed, 9 insertions(+), 13 deletions(-) diff --git a/.github/workflows/doxygen.yaml b/.github/workflows/doxygen.yaml index fd9dfc2a..ede3b121 100644 --- a/.github/workflows/doxygen.yaml +++ b/.github/workflows/doxygen.yaml @@ -29,17 +29,13 @@ jobs: - name: Create /docs directory if not exists run: mkdir -p ${{ github.workspace }}/docs - - name: Commit Documentation - run: | - git config --local user.email "action@github.com" - git config --local user.name "GitHub Action" - git add docs/ - git commit -m "Update documentation" -a || echo "No changes to commit" - - - name: Push Changes to Different Repository - uses: ad-m/github-push-action@v0.6.0 + - name: Pushes to another repository + uses: cpina/github-action-push-to-another-repository@main + env: + API_TOKEN_GITHUB: ${{ secrets.REPO_PUSH }} with: - github_token: ${{ secrets.REPO_PUSH}} # Use a personal access token with permission to the target repo - force: true - branch: website-code-doc - repository: org-SCAN/doc # Replace with your username and the target repository + source-directory: 'docs/' + destination-github-username: 'org-scan' + destination-repository-name: 'doc' + user-email: lucas@scan4ppl.tech + target-branch: website-code-doc