Repoint the [skip ci] link at the heading it was renamed to #12
Loading…
Reference in a new issue
No description provided.
Delete branch "docs/fix-dangling-skip-ci-anchor"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
#6and#11merged clean and left a dangling link between them.#skipping-ci-on-docs-only-commits(line 69, in Scope the gate to the diff).Skipping CI on docs-only changes, because it now covers pull requests as well as
commits.
Neither PR touched the other's lines, so git merged both without a murmur and produced a
link to an anchor that does not exist. Both were mergeable against
mainindividually, andstill conflicted semantically — the ordinary case for prose, where the unit of meaning is a
section and the unit of merge is a line.
markdownlint'sMD051/link-fragmentscatches it:This repo runs no CI, so nothing did.
someones.computerlints its own Markdown in theLintjob but sees this submodule as a gitlink, not as files — so a broken link in herereaches
mainin both repos unremarked. Worth its own issue if it recurs; not fixed in thisone-line change.
The two sections agree in substance, incidentally — #6's "nothing outside
docs/,*.mdandimages" and #11's "
*.md,*.markdownanddocs/**" describe the same boundary, which isalso what
scripts/docs-only-change.shimplements. Only the link was wrong.markdownlintclean on the changed file apart from a pre-existingMD040at line 116 (a barefence in the commit-message examples), which predates all three PRs.
Pure docs, so not a draft — the rule #11 just added.