projects / openwrt / staging / dedeckeh.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1b7e14) | 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>
Mon, 3 Oct 2022 18:22:53 +0000 (20:22 +0200)
commitc27b43956407f3adc3cc2693792acd6b40a01877
tree27893b41461048888e2aac85cdbbba8241de2e7dtree | snapshot
parentf1b7e1434f66a3cb09cb9e70b40add354a22e458commit | 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>
.github/workflows/kernel.yml diff | blob | history
.github/workflows/tools.yml diff | blob | history
Staging tree of dedeckeh