diff options
| author | Edward Chow <equu@openmail.cc> | 2022-10-03 19:39:58 +0800 |
|---|---|---|
| committer | Josef Schlehofer <pepe.schlehofer@gmail.com> | 2022-12-04 16:27:00 +0100 |
| commit | 3ba78a839a1cd8ab140896c6c6efc55fbc09948f (patch) | |
| tree | a946a4ce97fa0d8467f4b3a480d9459439b5330c /scripts/bundle-libraries.sh | |
| parent | f4db2752500bb4fcc8a1bad586b192dc186d30a1 (diff) | |
| download | upstream-3ba78a839a1cd8ab140896c6c6efc55fbc09948f.tar.gz upstream-3ba78a839a1cd8ab140896c6c6efc55fbc09948f.tar.bz2 upstream-3ba78a839a1cd8ab140896c6c6efc55fbc09948f.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 'scripts/bundle-libraries.sh')
0 files changed, 0 insertions, 0 deletions