From 694cccbc819bcfc043d05989932d241c1c69f1b9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E9=9B=B7=E7=94=B5=E8=8A=BD=E8=A1=A3?= Date: Thu, 8 Oct 2026 21:45:44 -0400 Subject: [PATCH] GitHub round 2026-10-08: tasks ticked --- tasks/github.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tasks/github.md b/tasks/github.md index 86cab37..28f51ea 100644 --- a/tasks/github.md +++ b/tasks/github.md @@ -22,4 +22,4 @@ - [x] G14 Issue #7: BlockEditor scrolls in its own `ScrollArea` with its scrollbar and keeps the caret in view as blocks are added; tested - [x] G15 Issue #7: BlockEditor turns into Markdown and back; tested. Five reviews, the cap: the fifth finding (a slash ended an unquoted HTML value) is fixed and tested, unreviewed - [x] G16 Issue #7: a selection across blocks: drag or Shift-press selects, copy, cut, delete and typing act on it, undo restores; tested -- [ ] G17 Push, reply on #7 and #12 +- [x] G17 Push, reply on #7 and #12