Skip to content

fix(notifications): match issue-watch repo names case-insensitively - #747

Merged
JSONbored merged 8 commits into
JSONbored:mainfrom
galuis116:fix/issue-watch-repo-casing
Jun 17, 2026
Merged

fix(notifications): match issue-watch repo names case-insensitively#747
JSONbored merged 8 commits into
JSONbored:mainfrom
galuis116:fix/issue-watch-repo-casing

Commits

Commits on Jun 14, 2026

Commits on Jun 16, 2026

Commits on Jun 17, 2026