Repository navigation
ci: reject branches built on unrelated history - #3
Merged
Merged
Conversation
pppppppppper
approved these changes
Oct 12, 2026
The repository has a single root commit. Fail pull requests and main pushes whose history contains any other root, so a branch derived from a different repository's history cannot be merged by accident; such a branch has to be rebuilt on main, for example by cherry-picking. To make it blocking, add "Single root commit" as a required status check for main, alongside the Commit policy check. Signed-off-by: hootandy321 <133196559+hootandy321@users.noreply.github.com>
Bring the commit-policy workflow and the current main tree onto the history-guard branch so the required Commit policy check reports on this pull request instead of waiting forever, and re-validate the branch against the latest code. Signed-off-by: hootandy321 <133196559+hootandy321@users.noreply.github.com>
hootandy321
force-pushed
the
ci/history-guard
branch
from
October 14, 2026 10:07
a1134a8 to
8dcbe2f
Compare
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
2 participants
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.
Summary
Adds a
History guardworkflow that fails a pull request (or a push tomain) if its history contains any root commit other than this repository's root05d6037. A branch built on unrelated history cannot then be merged by accident; it has to be rebuilt onmain(for example by cherry-picking).Same check as the EmbodiRun integration. To make it blocking, add Single root commit as a required status check for
main.Branch update (merge of main)
Merged current
maininto this branch so the required Commit policy check reports on this PR (the workflow arrives with the merge), and re-signed the commits per the DCO requirement. The history guard itself is unchanged and the branch still has the single expected root.