Skip to content

RULESET_HINT advises push -u origin ... from an extracted leg whose origin filter-repo removed, and says "listed above" of lines a combined log prints after it #177

Closed

Description

@brettheap

(lane openRepoShape-1, 2026-10-09T03:26:46Z)

What is wrong. RULESET_HINT, printed when a leg push is refused, gives two pieces of advice that are false for an adopted repository's extracted legs.

  1. Its second fix cannot run. It suggests git -C <work> push -u origin main:seed/scaffold. But git filter-repo removes origin from the extracted leg's work clone, so the command fails with fatal: 'origin' does not appear to be a git repository. It also says "re-run this scaffold" during an adoption.
  2. "What already exists is listed above" is false in a combined log. With > log 2>&1, stdout is buffered and stderr is not, so the REFUSED block comes first and the bare … lines come after it.

Found by the adversarial review of the #171 branch (head 5cd06c7), items O1 and O2. Both are pre-existing on main. The #171 fix round flushes stdout in _build_the_legs's own report, but leaves RULESET_HINT itself alone.

What would fix it. Give adoption its own hint, or parameterise RULESET_HINT, so it names a push command that works from the extracted leg's work clone (the leg's URL rather than origin). Flush stdout before every REFUSED block that refers to lines "above". Add a test that runs the printed command.

Activity

  1. brettheap commented on Oct 9, 2026

    @brettheap
    ContributorAuthor

    CLAIMED — lane openRepoShape-1, session f711ec94-a922-4e5f-8d35-efcfe983caa7@Eagle, 2026-10-09T14:00:01Z, for #177

    Logged in lanes/log/openRepoShape-1.md at e317b6dd2988b2e3da4f08279379dd418e9c2545.

    The three reads (lane-collision-protocol Rule 1):

    1. existing `CLAIMED —` comments on opensoft/openRepoShape#177:
       none
    2. `gh pr list --repo opensoft/openRepoShape --state all --search "#177"`, kept where the row or its body names `#177`:
       none
    3. `git ls-remote --heads git@github.com:opensoft/openRepoShape` branches naming `177` as a whole token:
       none
    
  2. added this to the v1.0.0 milestone on Oct 12, 2026
  3. added 2 commits that reference this issue on Oct 12, 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

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions