Repository navigation
Conversation
station.csv and station.json are generated from their -dev files. The bot did that after a merge, pushing a "chore: update station.csv from station-dev.csv [skip ci]" commit straight to main, so every station fix landed as two commits: 95 of the last 300 on main were the bot's. Do it inside the pull request instead. When a same-repository pull request opens or moves, the bot reruns both generators in each of its commits, amends any copy that changed into that commit (author kept, committer github-actions[bot]) and pushes the branch back with a lease on the head it saw. The push goes out with PAT_TOKEN, because commits pushed with GITHUB_TOKEN start no workflow run and the required checks would never report. A rebase merge then lands one commit per change. What a pull request could not carry is still put right on main: a fork gets no secrets, so its copies are generated after the merge as before, and a hand edit to a copy is overwritten with the generated result. That replaces protect-station-*.yml, which judged commits by author name and email (any GitHub noreply address passed) and force-pushed a revert to main. All four workflows become one, so the two jobs cannot race to push to main. station-csv-check and station-json-check keep their names, which the ruleset requires, and pass a pull request that does not touch the -dev file, as before.
whes1015
force-pushed
the
test/station-sync-dryrun
branch
from
October 11, 2026 16:20
db69272 to
d54147c
Compare
whes1015
force-pushed
the
ci/station-copies-in-pr
branch
from
October 11, 2026 16:22
0521dac to
35d5e39
Compare
Member
Author
|
#294 的實測完成，關閉並刪除分支。 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
#294 的實測用草稿 PR，不會合併。只改了 station-dev.csv 一行，看 bot 會不會把 station.csv 改進這個 commit 並推回分支。驗完就關閉並刪除分支。