diff options
| author | Edward Chow <equu@openmail.cc> | 2022-10-03 19:39:58 +0800 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2022-10-03 20:22:53 +0200 |
| commit | c27b43956407f3adc3cc2693792acd6b40a01877 (patch) | |
| tree | 27893b41461048888e2aac85cdbbba8241de2e7d /scripts/sercomm-crypto.py | |
| parent | f1b7e1434f66a3cb09cb9e70b40add354a22e458 (diff) | |
| download | upstream-c27b43956407f3adc3cc2693792acd6b40a01877.tar.gz upstream-c27b43956407f3adc3cc2693792acd6b40a01877.tar.bz2 upstream-c27b43956407f3adc3cc2693792acd6b40a01877.zip | |
CI: Add workaround for github uppercase usernames
The workflow defined in tools.yml and kernel.yml used to fail on
forked repositories of contributers whose github username contains
uppercase letters.
A workaround mentioned in
https://github.com/orgs/community/discussions/27086 and
https://stackoverflow.com/questions/70326569/ is applied.
Signed-off-by: Edward Chow <equu@openmail.cc>
Diffstat (limited to 'scripts/sercomm-crypto.py')
0 files changed, 0 insertions, 0 deletions