Skip to content

chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook)#139

Merged
hyperpolymath merged 2 commits into
mainfrom
chore/spdx-owner-headers
Jun 24, 2026
Merged

chore: add owner SPDX header to all .rs (satisfy licence-enforcer hook)#139
hyperpolymath merged 2 commits into
mainfrom
chore/spdx-owner-headers

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

The pre-commit licence enforcer (.git/hooks/pre-commit) requires both SPDX-License-Identifier: MPL-2.0 and the exact owner string Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> on every staged source file — but no .rs file carried the owner line. Every .rs had the SPDX identifier on line 1, yet the owner check (stricter than the existing tree) meant any future edit to a .rs file was blocked by the hook. Surfaced while fixing the audience→axial doc drift (#137).

Changes

  • Inserts // SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> on line 2 of all 91 tracked .rs files (each already had the SPDX identifier on line 1).
  • Renames the cosmetic audience.md temp filename in the axial test to axial.md, completing the audience→axial sweep.

Comment-only changes plus one test-string rename. cargo check --all-targets passes; the licence-enforcer hook now passes on .rs edits (this commit itself passed it with hooks enabled).

Out of scope (noted, not done): .md/.adoc/.idr source files — the two header-less docs are handled in #137 and the new Idris2 fixture in #138 already carries the header; a follow-up can extend the same owner line to remaining non-.rs sources if wanted.

🤖 Generated with Claude Code

hyperpolymath and others added 2 commits June 24, 2026 12:35
…l test rename

The pre-commit licence enforcer requires BOTH SPDX-License-Identifier: MPL-2.0
AND the owner string 'Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>' on every
staged source file, but NO .rs file carried the owner line -- so any edit to a
.rs file was blocked by the hook (a latent repo-wide gap). Inserts the
SPDX-FileCopyrightText owner line on line 2 of all 91 tracked .rs files (each
already had SPDX-License-Identifier on line 1). Also renames the cosmetic
'audience.md' temp filename in the axial test to 'axial.md', completing the
audience->axial sweep.

Comment-only changes plus one test-string rename; cargo check --all-targets passes.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@hyperpolymath hyperpolymath merged commit 479bf2d into main Jun 24, 2026
22 of 24 checks passed
@hyperpolymath hyperpolymath deleted the chore/spdx-owner-headers branch June 24, 2026 11:42
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