Skip to content

family.py bump --to: pins a commit only the member's mount holds, which bump-leg.py refuses as local-only #613

Closed

Description

@brettheap

bump --to should refuse a commit that no branch of the member's remote reaches, as bump-leg.py does.

From the checklist triage of 2026-10-15; Brett Heap approved its recommendations at 2026-10-15T16:49:38Z. One pull request covers the lines below.

Decision applied: the triage's D2, option 1: refuse it as bump-leg.py does (member-to-local-only), answering from the remote-tracking refs when offline. About 12 tests bump to such a commit and would push it first.

Lines

Each line above is marked → this issue on its tracking issue. Tick it there too when this closes.

The lines as written on the tracking issues

bump --to pins a commit that only the member's mount holds, where bump-leg.py refuses it as bump-leg-commit-local-only.

  • A commit made inside members/<P> and never pushed passes bump's object check, because the object is in the mount's store. It is pinned with exit 0, and the holder then cannot be bootstrapped anywhere else.
  • Refusing it needs a ruling on offline bumps: today a bump whose fetch failed goes on from the objects the member already has.
  • Under bump-leg.py's reachability rule, at least 12 test cases in 5 files fail, and 6 of them build their target with commit_in_mount.

— #459, comment

Activity

  1. added this to the v1.1.0 milestone on Oct 15, 2026
  2. brettheap commented on Oct 15, 2026

    @brettheap
    ContributorAuthor

    CLAIMED — lane openRepoShape-4, session 11c6c0ef-495a-4a05-94cf-811b7b0a1012@Eagle, 2026-10-15T20:36:00Z, for #613

    Logged in lanes/log/openRepoShape-4.md at 5db78258156c55c79299d7b6b5df36ec30a00477.

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

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

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions