Team2890/allwpilib
4
0
Fork 0
mirror of https://github.com/wpilibsuite/allwpilib synced 2026-06-21 01:01:43 +00:00
Code Issues Packages Projects Releases Wiki Activity

[ci] Push comment command commit directly to PR (#4506)

Browse Source
This commit is contained in:
Tyler Veness
2022-10-23 11:17:52 -07:00
committed by GitHub
parent c9f61669b8
commit a28f93863c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/comment-command.yml vendored
View File

@@ -54,4 +54,4 @@ jobs:
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
# Commit
git commit -am "wpiformat"
git push origin HEAD
git push origin HEAD:refs/pull/$NUMBER/head