Skip to content

fix(backend): match GitLab project topics case-insensitively#1443

Open
outrunn wants to merge 1 commit into
sourcebot-dev:mainfrom
outrunn:fix/gitlab-topic-case
Open

fix(backend): match GitLab project topics case-insensitively#1443
outrunn wants to merge 1 commit into
sourcebot-dev:mainfrom
outrunn:fix/gitlab-topic-case

Commits

Commits on Jul 12, 2026