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

Merge branch 'main' into fix/issue-watch-repo-casing

d798684
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Apply Gittensor reward label
succeeded Jun 17, 2026 in 4s