GitHub error reporting#46

Draft

olbris wants to merge 7 commits intomasterfrom

github-error-reporting

Commits on Feb 28, 2025

fixed embarrassing typo
olbris
committed

Commits on Mar 25, 2025

checkpoint: dialog built, but toggle not implemented
olbris
committed

Commits on Mar 27, 2025

finished implementing silenceable user notification on error reporting failures
olbris
committed