diff options
| author | Edward Chow <equu@openmail.cc> | 2022-10-03 19:39:58 +0800 |
|---|---|---|
| committer | Christian Marangi <ansuelsmth@gmail.com> | 2022-12-04 17:36:56 +0100 |
| commit | c2df98c49c463f5913299040f1c91d56ecda3010 (patch) | |
| tree | 0496fa7bcffe62134ddba6a9435dd351ff368675 /.github/workflows/labeler.yml | |
| parent | daeb367dc1bf0c14ebbd96b4b55d1adab7befd0b (diff) | |
| download | upstream-c2df98c49c463f5913299040f1c91d56ecda3010.tar.gz upstream-c2df98c49c463f5913299040f1c91d56ecda3010.tar.bz2 upstream-c2df98c49c463f5913299040f1c91d56ecda3010.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>
(cherry picked from commit c27b43956407f3adc3cc2693792acd6b40a01877)
Diffstat (limited to '.github/workflows/labeler.yml')
0 files changed, 0 insertions, 0 deletions