New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Fix to match categories case insensitive for gitea #1346

Merged

mikepenz merged 2 commits into develop from fix/1345

Jul 26, 2024

Owner

mikepenz commented Jul 26, 2024

make gitea labels lowercase so categories are matched case insensitive
- FIX Labels of PRs with capital letters don't match #1345


          - make gitea labels lowercase so categories are matched case insensitive

76ceff7

  - FIX #1345

mikepenz added the fix label


          - recompile dist

3ff44d5

mikepenz merged commit 4d5a516 into develop

6 checks passed

mikepenz deleted the fix/1345 branch

July 26, 2024 07:20

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

fix