Restore the licence file and the readme lines that name it (#155) - #161
Merged
iderex merged 1 commit intoAug 22, 2026
Merged
Conversation
One commit on the default branch took its tree from an older state and pushed it
on top of a newer one, removing seven paths under a message describing a change
to how one workflow pin is commented. LICENSE and the six lines of README.md
that name it are the whole of what is left of that removal. The other five path
groups are already back.
Both are the bytes that were there rather than a retyping of them. I compared
them at this commit:
git rev-parse 90656ba:LICENSE
fadd1f6
git hash-object LICENSE
fadd1f6
git rev-parse 90656ba:README.md
7f6f5a3
git hash-object README.md
7f6f5a3
What the absence costs is a public board that invites a fork, a checkout and a
change sent back on its front page while default copyright forbids all three,
and a reader who finds that out after doing the work rather than before it.
What this does not do. It declares nothing anywhere a check reads: DeclaredLicence
in internal/invariants/invariants.go is still the empty string and the licence
leg still prints that it was not asked, which is #47. It also restores, with the
rest of the blob, the paragraph above the section saying there is no licence
file, so README.md now says that and names AGPL-3.0 four lines later. That
paragraph was there on the day the removal took the section, restoring the bytes
puts it back, and removing it is a separate change.
Signed-off-by: Nils Lehnen <30603423+iderex@users.noreply.github.com>
iderex
deleted the
licence/the-file-and-the-readme-section-that-left-the-default-branch
branch
August 22, 2026 01:16
This was referenced Aug 22, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Refs #155
What this changes
LICENSEand the six lines ofREADME.mdthat name it are back on the defaultbranch. They are the last of the seven paths that
d3edfc95b8526033c79cb26afe48282c2c090e32removed under a message describing achange to how one workflow pin is commented; the other five path groups landed
in #157, #158, #159 and #160.
Both are the bytes that were there rather than a retyping of them, which is the
reading #155 asks to survive the repair:
README.mdhad not moved forward since the removal, so the blob comparison isthe right reading for it rather than a diff, and the change is 667 insertions
with no deletion:
What failure it prevents
A public board whose front page invites a fork, a checkout and a change sent
back, while default copyright forbids all three. The cost falls on the reader
who does the work first and finds out afterwards.
What was run
At
36442adad2d9dc66032cf3d29ab070697650db5c, the four commandsCONTRIBUTING.mdnames, in that order:
gofmt -lprinted nothing, which is its passing result.and the runner against this tree:
The licence leg of the invariants prints the same line at this head as it printed
without the file, and that is the honest result rather than a regression:
I withheld
LICENSEfrom the working tree with the readme section in place, tosee whether anything here reads the link the section adds. Nothing does:
pathInProseininternal/check/check.gorequires a leading directory segmentthat record 0002 names, so a root file named in a document is outside what that
leg can see. That is a gap in the leg rather than in this change, and #162 holds
it.
What this does not do
It declares nothing anywhere a check reads.
DeclaredLicenceininternal/invariants/invariants.gois still the empty string, the repositorymetadata still reports no licence, and no decision record names one. Those are
#47 and they wait on entry one of #46.
It leaves
README.mdsaying there is no licence file four lines above thesection that names AGPL-3.0. That paragraph was in the blob the removal took, so
restoring the bytes puts it back, and taking it out is a separate change with its
own reason rather than something to fold in here.
It does not finish #155. That issue also raises whether anything here should
refuse a merge that removes a tracked path without saying so in its body, and
restoring files does not answer it.
No second reader is available for this change tonight. The commands above and
their output stand in place of one, and every claim in this body is one of them
rather than a summary of them.