Skip to content

docs: DESIGN, CONTRIBUTING and RELEASING catch up with the code - #558

Merged
vyncint merged 1 commit into
mainfrom
docs/design-contributing-releasing-0.11.5
Oct 6, 2026
Merged

vyncint merged 1 commit into
mainfrom
docs/design-contributing-releasing-0.11.5

Conversation

@vyncint

@vyncint vyncint commented Oct 6, 2026 •

Copy link
Copy Markdown
Owner

From the same review, verified before changing:

  • ci.yml: the "single stable job name for branch protection" comment sat
    above the skill job; it is back above required-green. Comment-only.
  • The emit fixture's rule listed every timer but the 10 ms poll --idle
    waits for SIGTERM with.
  • LIMITATIONS.md: "modeled" beside five "modelled" in the same file, and
    "behavior" where the rest of the docs write "behaviour".

Closes #535
Closes #536
Closes #537
Closes #540

- DESIGN §4: two character sets are translated, DEC Special Graphics and
  the UK set, not one, and DECSC/DECRC save and restore the charset state;
  LS2/LS3 are still not modelled. The charset and tab-stop scopes are
  listed in docs/LIMITATIONS.md, not the README, which has neither (#535).
- DESIGN §5: env_clear() also pins SHELL=/bin/sh unless the test sets it,
  and why (#221) (#536).
- CONTRIBUTING §2: a bullet for tools/, preflight.sh and the gate
  self-tests (#537).
- RELEASING step 1: the two copies of the version no gate checks, the
  bug report form's placeholder and SKILL.md's "Written against" line. The
  placeholder stayed at 0.5.0 through eleven releases, 0.6.0 to 0.11.1,
  not the six the issue said; checked against git history (#540).

From the same review, verified before changing:
- ci.yml: the "single stable job name for branch protection" comment sat
  above the skill job; it is back above required-green. Comment-only.
- The emit fixture's rule listed every timer but the 10 ms poll --idle
  waits for SIGTERM with.
- LIMITATIONS.md: "modeled" beside five "modelled" in the same file, and
  "behavior" where the rest of the docs write "behaviour".

Closes #535
Closes #536
Closes #537
Closes #540

Signed-off-by: Vyncint Ng <115854244+vyncint@users.noreply.github.com>
@vyncint
vyncint force-pushed the docs/design-contributing-releasing-0.11.5 branch from 02dbe88 to a756fec Compare October 6, 2026 23:35
@vyncint
vyncint merged commit 6e7d7c4 into main Oct 6, 2026
16 checks passed
@vyncint
vyncint deleted the docs/design-contributing-releasing-0.11.5 branch October 6, 2026 23:41
@vyncint vyncint mentioned this pull request Oct 7, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment