From 56352b95f4683db99419e0a80e8b7df514014526 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 29 Apr 2026 22:51:24 +0000 Subject: [PATCH 1/4] Initial plan From c732874a379261ec529985508cd06b72f53e1944 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 29 Apr 2026 22:52:52 +0000 Subject: [PATCH 2/4] Fix workflow: push to branch and create PR instead of pushing directly to protected main Agent-Logs-Url: https://github.com/con/tents/sessions/e683fbe7-8e15-4e83-a6db-764ca0b159f8 Co-authored-by: CodyCBakerPhD <51133164+CodyCBakerPhD@users.noreply.github.com> --- .github/workflows/update-readme.yml | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/.github/workflows/update-readme.yml b/.github/workflows/update-readme.yml index 0470031..e94298d 100644 --- a/.github/workflows/update-readme.yml +++ b/.github/workflows/update-readme.yml @@ -8,6 +8,7 @@ on: permissions: contents: write + pull-requests: write jobs: update-table: @@ -29,6 +30,8 @@ jobs: run: python code/update_readme.py - name: Commit and push changes + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | git config user.name "github-actions[bot]" git config user.email "github-actions[bot]@users.noreply.github.com" @@ -36,6 +39,17 @@ jobs: if git diff --cached --quiet; then echo "No changes to commit." else + BRANCH="automated/update-readme-table" + git checkout -b "$BRANCH" git commit -m "chore: update repo table [skip ci]" - git push + git push --force origin "$BRANCH" + if gh pr list --head "$BRANCH" --base main --json number --jq '.[0].number' | grep -q .; then + echo "PR already exists." + else + gh pr create \ + --title "chore: update repo table" \ + --body "Automated update of the repository table in README.md." \ + --base main \ + --head "$BRANCH" + fi fi From 447b836a6932b434de1757752edee602b5ab07ab Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 29 Apr 2026 22:53:31 +0000 Subject: [PATCH 3/4] Fix PR existence check: use jq length instead of null-prone .[0].number Agent-Logs-Url: https://github.com/con/tents/sessions/e683fbe7-8e15-4e83-a6db-764ca0b159f8 Co-authored-by: CodyCBakerPhD <51133164+CodyCBakerPhD@users.noreply.github.com> --- .github/workflows/update-readme.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/update-readme.yml b/.github/workflows/update-readme.yml index e94298d..cc7805e 100644 --- a/.github/workflows/update-readme.yml +++ b/.github/workflows/update-readme.yml @@ -43,7 +43,8 @@ jobs: git checkout -b "$BRANCH" git commit -m "chore: update repo table [skip ci]" git push --force origin "$BRANCH" - if gh pr list --head "$BRANCH" --base main --json number --jq '.[0].number' | grep -q .; then + PR_COUNT=$(gh pr list --head "$BRANCH" --base main --json number --jq 'length') + if [ "$PR_COUNT" -gt 0 ]; then echo "PR already exists." else gh pr create \ From 0010d55055b8939ebb412dfc9bbc26b19d6ce3e9 Mon Sep 17 00:00:00 2001 From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com> Date: Wed, 29 Apr 2026 23:11:26 +0000 Subject: [PATCH 4/4] Simplify workflow: push to triggering branch directly, no force, no PR creation Agent-Logs-Url: https://github.com/con/tents/sessions/3eaea1f8-3ef2-44d9-9be5-c4b579e2f59e Co-authored-by: CodyCBakerPhD <51133164+CodyCBakerPhD@users.noreply.github.com> --- .github/workflows/update-readme.yml | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/.github/workflows/update-readme.yml b/.github/workflows/update-readme.yml index cc7805e..8154f99 100644 --- a/.github/workflows/update-readme.yml +++ b/.github/workflows/update-readme.yml @@ -8,7 +8,6 @@ on: permissions: contents: write - pull-requests: write jobs: update-table: @@ -39,18 +38,6 @@ jobs: if git diff --cached --quiet; then echo "No changes to commit." else - BRANCH="automated/update-readme-table" - git checkout -b "$BRANCH" git commit -m "chore: update repo table [skip ci]" - git push --force origin "$BRANCH" - PR_COUNT=$(gh pr list --head "$BRANCH" --base main --json number --jq 'length') - if [ "$PR_COUNT" -gt 0 ]; then - echo "PR already exists." - else - gh pr create \ - --title "chore: update repo table" \ - --body "Automated update of the repository table in README.md." \ - --base main \ - --head "$BRANCH" - fi + git push fi