[BUG] login confuses usernames that differ in terms of upper/lower case #1445
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Greetings | |
| on: [pull_request, issues] | |
| jobs: | |
| greeting: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/first-interaction@v1 | |
| with: | |
| repo-token: ${{ secrets.GITHUB_TOKEN }} | |
| issue-message: > | |
| Thanks for submitting an issue. Make sure you have checked for similar issues. | |
| Also, provide enough details for us to be able to replicate the problem. | |
| pr-message: > | |
| Thanks for submitting a PR. Make sure you have looked at the contribution guidelines. | |
| Also, look for quick check/tests operations that you can run locally for early verification of errors. | |
| Travis will be happier if it doesn't need to run too many times with problematic code. |