fix(ci): pull before push in all-contributors workflow; add @salmanmkc to tinytorch and kits

- Add git pull --rebase before push so concurrent comment-triggered runs
  don't reject each other (only one of three runs had succeeded for PR 1179).
- Manually add @salmanmkc as code contributor to tinytorch and kits
  (labs was already added by the single successful run).
This commit is contained in:
Vijay Janapa Reddi
2026-02-22 14:05:31 -05:00
parent 31f82575e7
commit ecb3af7fd2
6 changed files with 27 additions and 1 deletions

View File

@@ -458,6 +458,8 @@ jobs:
echo "No changes to commit"
else
git commit -m "docs: add @${USERNAME} as ${PROJECT} contributor for ${TYPES}"
# Pull before push so concurrent comment-triggered runs don't reject each other
git pull --rebase origin ${{ env.TARGET_BRANCH }}
git push origin ${{ env.TARGET_BRANCH }}
echo "Changes committed and pushed!"
fi