Closed dreispt closed 2 years ago
/ocabot merge nobump
What a great day to merge this nice PR. Let's do it! Prepared branch 14.0-ocabot-merge-pr-54-by-dreispt-bump-nobump, awaiting test results.
Congratulations, your PR was merged at ef7a8e08298278f3201d45f388bff9a2e9cf12b1. Thanks a lot for contributing to OCA. ❤️
If this is the issue indeed then I think we should propose a fix upstream in ocabot to do a case insensitive comparison for github username :thinking: