projects / openwrt / staging / hauke.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: daeb367) | patch
CI: Add workaround for github uppercase usernames
authorEdward Chow <equu@openmail.cc>
Mon, 3 Oct 2022 11:39:58 +0000 (19:39 +0800)
committerChristian Marangi <ansuelsmth@gmail.com>
Sun, 4 Dec 2022 16:36:56 +0000 (17:36 +0100)
commitc2df98c49c463f5913299040f1c91d56ecda3010
tree0496fa7bcffe62134ddba6a9435dd351ff368675tree | snapshot
parentdaeb367dc1bf0c14ebbd96b4b55d1adab7befd0bcommit | diff
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)
.github/workflows/kernel.yml diff | blob | history
.github/workflows/tools.yml diff | blob | history
Hauke Mehrtens staging tree