mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-08 18:01:20 -05:00
[PR #1030] [MERGED] CI: Fix "Update contributors list" action failing on non-fast-forward #7939
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/harvard-edge/cs249r_book/pull/1030
Author: @oamazonasgabriel
Created: 11/4/2025
Status: ✅ Merged
Merged: 11/5/2025
Merged by: @profvjreddi
Base:
dev← Head:patch-2📝 Commits (3)
b1994abFix git add command in update-contributors.yml4bde036Fix missing newline at end of update-contributors.yml3f1b37dremoves the final line📊 Changes
1 file changed (+1 additions, -0 deletions)
View changed files
📝
.github/workflows/update-contributors.yml(+1 -0)📄 Description
Description:
Hello! This PR fixes a race condition in the “Update contributors list” workflow.
The Problem:
The action was failing with a non-fast-forward Git error.
This happens when another PR or commit lands on dev while this workflow is still running, leaving the workflow’s local branch out of date.
The Solution:
Added a git pull --rebase origin "$BRANCH_NAME" command right before the push step.
This ensures the workflow rebases its local changes on top of the latest dev before pushing.
The indication:
These two PRs being merged close

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.