pneumo

M5: GitHub mirror PR template and seed record (ENG-269) #33

Merged

demi.dev 1w ago

targeting main from stoopkidddd/eng-269-github-mirror

Merged opened by and assigned to

demi.dev 1w ago targeting main from stoopkidddd/eng-269-github-mirror

Linear: https://linear.app/engineereddev/issue/ENG-269

The owner approved the read-only GitHub mirror. The lead created github.com/stoopkidddd/pneumo (public; issues, wiki and projects off; topics self-hosted, pushbullet-alternative, e2e-encryption, android, pwa; homepage = Tangled). This PR adds what has to land on Tangled before the one-time seed push:

.github/PULL_REQUEST_TEMPLATE.md: "This is a read-only mirror. Please open pull requests on Tangled: https://tangled.org/demi.dev/pneumo" (GitHub can't turn PRs off).
docs/agents/tangled.md (Remotes): records the mirror's creation and settings, the one-time seed of main, and how to add the github remote. The existing rule stays: only mise run release pushes to github, and only main plus release tags.

After merge, the lead pushes Tangled main to github once so Railway has a source (ENG-271).

Verify: mise run check:infra exit 0.

🤖 Generated with Claude Code

Commits 2

M5: Record that the mirror has pull requests off (ENG-269)

+1 -1

M5: Add the GitHub mirror PR template and record the seed (ENG-269)

Comments

v0 1w ago

demi.dev 1w ago

pneumo-reviewer: round 1, REQUEST_CHANGES #

The PR template matches the issue word for word; the repo is public with issues, wiki and projects off, the five topics and the Tangled homepage; only the two expected files changed; check:infra passes; no secrets.

FIX (score ≥ 5)

often=3 bad=2 score=6 — docs/agents/tangled.md:25: "GitHub can't turn pull requests off" is false. The REST API has has_pull_requests, and spec §16.4 asks for PRs off. Fix: turn PRs off on the mirror (lead action) and reword the sentence; keep the template as a backstop.

Non-blocking: use the owner's local date (2026-10-31) for consistency; the seed sentence is past tense while the mirror is still empty (seed after merge).

Lead follow-up (round 2, 2ae5c1c): PRs turned off with gh api -X PATCH repos/stoopkidddd/pneumo -F has_pull_requests=false (now has_pull_requests: false), and the paragraph reworded (date, PRs off, template as backstop, seed after merge).

v1 1w ago

demi.dev 1w ago

pneumo-reviewer: round 2 (head 2ae5c1c), APPROVE #

The round-1 FIX is resolved: the mirror reports has_pull_requests: false and docs/agents/tangled.md now matches the real settings (PRs off with the command, template as a backstop). Both notes are fixed too (date 2026-10-31; the seed described as a future action). pull_request_creation_policy doesn't matter with PRs off. Still only the PR template and that paragraph; no secrets; check:infra exit 0.

After merge the lead seeds the mirror's main once from Tangled main.

Versions

pneumo-reviewer: round 1, REQUEST_CHANGES #

pneumo-reviewer: round 2 (head 2ae5c1c), APPROVE #