Skip to content

chore: gitignore *.mjjournal agent-local files#12

Merged
UnbreakableMJ merged 1 commit into
mainfrom
chore/gitignore-mjjournal
Jul 23, 2026
Merged

chore: gitignore *.mjjournal agent-local files#12
UnbreakableMJ merged 1 commit into
mainfrom
chore/gitignore-mjjournal

Conversation

@UnbreakableMJ

Copy link
Copy Markdown
Contributor

*.mjjournal files are agent-local journals that were untracked but not ignored. That left them showing up in git status and failing a local reuse lint run, while CI passed — an untracked file is simply absent from the CI checkout.

The discrepancy mattered: standard/CLAUDE.md names local reuse lint as a pre-push gate, and a gate that fails on a file CI never sees is a gate people learn to ignore.

Grouped with the existing agent-local exclusions (CLAUDE.md, .claude/, Chat.txt).

Verification

  • git check-ignore -v The_Steelbore_Standard.texi.mjjournal → matched by .gitignore:39
  • git status --short → clean apart from this change
  • Local reuse lint7/7, compliant (was 7/8 before)

Independent of #11 — branched from main, no overlapping files, mergeable in either order.

🤖 Generated with Claude Code

These are agent-local journal files that were untracked but not ignored,
so they showed up in `git status` and failed a local `reuse lint` run —
while CI passed, since an untracked file is absent from the checkout.
That discrepancy made the local lint useless as a pre-push gate.

Grouped with the existing agent-local exclusions (CLAUDE.md, .claude/,
Chat.txt). Local `reuse lint` now reports 7/7 and matches CI.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@UnbreakableMJ
UnbreakableMJ merged commit c7c98e7 into main Jul 23, 2026
1 check passed
@UnbreakableMJ
UnbreakableMJ deleted the chore/gitignore-mjjournal branch July 23, 2026 23:23
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