diff options
| author | Craig Jennings <c@cjennings.net> | 2026-05-30 16:13:52 -0500 |
|---|---|---|
| committer | Craig Jennings <c@cjennings.net> | 2026-05-30 16:13:52 -0500 |
| commit | 4b24597eee171ccbc5f5fd7067fdd52b87931986 (patch) | |
| tree | c622ddd4c7744f088b6500244e18cbf640c88e14 /inbox/lint-followups.org | |
| parent | 86326c1f2677484b2906d8142891e8d023ba803e (diff) | |
| download | rulesets-4b24597eee171ccbc5f5fd7067fdd52b87931986.tar.gz rulesets-4b24597eee171ccbc5f5fd7067fdd52b87931986.zip | |
chore(inbox): file lint-org false-positive bug, drop unfixable follow-ups
The wrap-up lint pass kept re-flagging two verbatim-asterisk misplaced-heading items (=** DONE= and =** Startup Pull Ordering= shown as verbatim references in prose) that aren't real misplaced headings and can't be fixed in todo.org. Filed a checker-bug report in the inbox to suppress that class going forward, and dropped the two unactionable items from lint-followups.org.
Diffstat (limited to 'inbox/lint-followups.org')
| -rw-r--r-- | inbox/lint-followups.org | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/inbox/lint-followups.org b/inbox/lint-followups.org deleted file mode 100644 index 88c33d7..0000000 --- a/inbox/lint-followups.org +++ /dev/null @@ -1,4 +0,0 @@ - -* 2026-05-30 lint-org follow-ups — todo.org -** TODO line 2370 — misplaced-heading — Possibly misplaced heading line -** TODO line 1717 — misplaced-heading — Possibly misplaced heading line |