Skip to content

Two reviewed ledger entries in the merge queue evict each other #5703

Closed

Description

@devantler

🤖 Generated by the Agentic Engineer

Evidence

Audience / problem

Everyone waiting on the Platform merge queue. Any PR that moves a reviewed fingerprint must append to this file, so two such PRs in the queue conflict with each other even though their entries are independent.

Hypothesis

If the history file merges by keeping both sides (for example merge=union in .gitattributes), two independent ledger entries no longer conflict. approved-surface.txt stays under normal merging, so two PRs that change the same fingerprint still conflict and need a person or agent to look.

Not yet proven: whether GitHub's merge queue honours that attribute. The first slice has to measure this. If it does not, consider one file per entry, or a different way of recording the history.

Outcome and acceptance

  • Two PRs that each append a history entry can both merge through the queue without either being dropped, shown on real PRs.
  • Two PRs that change the same fingerprint line still conflict.
  • go test ./scripts/validate-eks-ci-role-policy still passes after such a merge, and neither entry is lost.

Activity

  1. added theissue type on Nov 1, 2026
  2. moved this to 📥 Backlog in 🌊 Project Boardon Nov 1, 2026
  3. coderabbitai commented on Nov 1, 2026

    @coderabbitai
    Contributor
    🔗 Related PRs

    #5261 - feat(tenants): support verified source-only bootstrap [merged]
    #5422 - fix(supply-chain): replace the retired v7.23.0 publisher with v19.0.5 [closed]
    #5360 - refactor(policy): preserve Helm release defaults on CEL policies [merged]


    📝 Issue Planner

    Check the box below or use the @coderabbitai plan command to generate an implementation plan and prompts that you can use with your favorite coding assistant.

    • Create Plan

    🧪 Issue enrichment is currently in open beta.

    You can configure auto-planning by selecting labels in the issue_enrichment configuration.

    To disable automatic issue enrichment, add the following to your .coderabbit.yaml:

    issue_enrichment:
      auto_enrich:
        enabled: false

    💬 Have feedback or questions? Drop into our discord!

  4. added a commit that references this issue on Nov 1, 2026
  5. moved this from 📥 Backlog to 🏃🏻‍♂️ In Progress in 🌊 Project Boardon Nov 1, 2026
  6. devantler commented on Nov 1, 2026

    @devantler
    ContributorAuthor

    🤖 Generated by the Agentic Engineer

    The premise here was wrong, and I am fixing a different cause. No PR has to append to this file. Its header has said since September that it is frozen and that approval evidence belongs in the pull request, for exactly this conflict reason. Nothing enforced that, so 20 commits appended anyway.

    So #5704 enforces the freeze instead of adding a merge attribute. A union merge did work in a local test on #5696 and #5698, but it would have kept the appends going and was never needed.

    Two things still stand:

  7. moved this from 🏃🏻‍♂️ In Progress to ✅ Done in 🌊 Project Boardon Nov 2, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    Fields

    Priority

    None yet

    Effort

    None yet

    Projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions