Let a plugin add links to the profile menu, and list the setting conflict kind #220

Merged
lilleman merged 8 commits from item-28 into main 2026-11-08 19:39:07 +01:00

8 Commits

Author SHA1 Message Date
lilleman 77e3d46769 Rename ShellUser.menu to profileLinks, so menu keeps one meaning in the shell
CI / full-gate (push) Successful in 3m29s
Mirror / github-mirror (push) Successful in 5s
2026-11-08 19:35:14 +01:00
lilleman b7e9780437 Record the comprehension check: PR #220 paired ruling same 2026-11-08 19:34:58 +01:00
lilleman 1b53b01333 Answer stability round 2: 0 🔴, 0 🟡 (0 misread); no findings
CI / full-gate (push) Successful in 3m23s
2026-11-08 19:26:39 +01:00
lilleman 8544de831a Answer security round 1: 0 🔴, 0 🟡 (0 misread); no findings
CI / full-gate (push) Successful in 3m35s
2026-11-08 19:25:57 +01:00
lilleman 523e8b3724 Answer stability round 1: 1 🔴, 3 🟡 (0 misread); scope the visual selector, check label and cover the gaps 2026-11-08 19:25:57 +01:00
lilleman 6767a5d7bd Answer product-owner round 1: 0 🔴, 0 🟡 (0 misread); file hiding a profile entry as item 58 2026-11-08 19:25:57 +01:00
lilleman a558f8340f Answer prose round 1: 0 🔴, 0 🟡 (0 misread); apply the nits 2026-11-08 19:25:57 +01:00
lilleman 777c0bd86d Let a plugin add links to the profile menu, and list the setting conflict kind
CI / full-gate (push) Failing after 1m17s
2026-11-08 19:17:57 +01:00