Skip to content

Carry the licence this repository is published under - #150

Merged
iderex merged 1 commit into
mainfrom
docs/the-repository-carries-its-licence
Aug 17, 2026
Merged

Carry the licence this repository is published under#150
iderex merged 1 commit into
mainfrom
docs/the-repository-carries-its-licence

Conversation

@iderex

@iderex iderex commented Aug 17, 2026

Copy link
Copy Markdown
Contributor

Closes #149

What this changes

LICENSE is added, carrying AGPL-3.0, and the README ends with the ## License
section the repositories that already carry it end with. Nothing else is touched.

What failure it prevents

A public repository without a licence is one nobody may use. Default copyright
applies: a reader may look and nothing else, so forking it, building on it and
contributing back are all forbidden by a repository that carries a description
and appears to invite them.

Scorecard reported it as LicenseID score is 0: license file not detected. 23
public repositories of this account were in that state.

What was run

$ git hash-object LICENSE
fadd1f611bdae23852c5afe8ee6ba9f03617b34a

$ gh api repos/iderex/hallraum/contents/LICENSE --jq .sha
fadd1f611bdae23852c5afe8ee6ba9f03617b34a

$ wc -c LICENSE
34504 LICENSE

The same blob id as the exemplar, which is stronger than the same size: the file
is byte-identical rather than merely a rendering of the same licence.

What this does not do

The licence is not applied to source file headers. The repositories that already
carry AGPL-3.0 do not carry per-file headers either, so adding them here would
make this repository the odd one rather than the consistent one.

Nothing was re-examined about whether AGPL-3.0 is right for this repository as
opposed to the fleet. That is the standing decision for this account's own
projects, taken on 2026-08-17, and this change follows it rather than reopening
it.

No text elsewhere in the repository was checked for statements that this change
makes false - a README paragraph saying the licence is undecided, for instance.
Where one exists it stays as it is and wants its own issue.

Closes #149.

The repository is public and carries a description, and had no LICENSE.
Without one, default copyright applies: a reader may look and nothing else,
so forking it, building on it and contributing back were all forbidden by a
repository that appears to invite them.

AGPL-3.0, matching the 24 repositories of this account that already carry it.
The text is copied from those byte for byte rather than fetched fresh, so the
repositories end up with one licence file and not several slightly different
ones - `git hash-object LICENSE` gives fadd1f6, the same blob the exemplar
carries. The README ends with the same `## License` section they do.

Found on 2026-08-17 by reading the Scorecard alerts across the fleet:

    LicenseID  score is 0: license file not detected

23 public repositories were in that state.

Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>
@iderex
iderex merged commit 90656ba into main Aug 17, 2026
25 checks passed
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.

This repository is public and carries no licence

1 participant