Skip to content

Move to Optitransfer, setup guidance, --version, AGENTS.md scan fix, logo - #44

Merged
mgillr merged 6 commits into
mainfrom
org-move-fixes
Oct 20, 2026
Merged

mgillr merged 6 commits into
mainfrom
org-move-fixes

Conversation

@mgillr

@mgillr mgillr commented Oct 20, 2026

Copy link
Copy Markdown
Collaborator

Proofline moved from my account to the Optitransfer org. This PR follows the move and fixes the problems that showed on the repository page.

Move

  • package.json homepage, repository and bugs now point to Optitransfer/proofline. The old URL redirects.
  • CI ran nothing before because my account's billing lock stopped every job. Under the org it runs. The workflow now runs npm ci --ignore-scripts before the self-gate, so the pinned dev dependencies are there.

Fixes

Not changed: proofline.json, proofline.json.sig, the contract, the forbidden rules, every CLI command, flag and exit code, and the config format. New tests: setup_guidance, version, agents_md_scan, each red on main and green here.

…est on the agentkey devDependency

The repository moved to the Optitransfer org; homepage, repository and bugs follow it.
The owner-signature test ran agentkey from a path on my laptop, so it failed in any
other clone. It now uses @optitransfer/agentkey from the lockfile, and CI installs that
lockfile before the self-gate. (PL-SELF)

Signed-off-by: mgillr <[email protected]>
…gentkey

Both refusals ended in 'Next step: proofline setup', which sent the user round in a
circle. Each now says what the variable or command is for and prints the exact command
that provides it. (PL-SELF)

Signed-off-by: mgillr <[email protected]>
… scan

The README tells users to copy AGENTS.md into their repository. Its 'Never' list wrote
the hook-skipping flag literally, so the first verify failed on no_verify. (PL-SELF)

Signed-off-by: mgillr <[email protected]>
…correct the published version

The README named 0.2.0-next.0; npm has 0.2.0-next.1. (PL-SELF)

Signed-off-by: mgillr <[email protected]>
@mgillr
mgillr merged commit 84040c7 into main Oct 20, 2026
1 check passed
@mgillr
mgillr deleted the org-move-fixes branch October 20, 2026 22:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant