clan/clan-infra
10
0
Fork 1
Code Issues Pull Requests 1 Actions Packages Projects Releases Wiki Activity

action-create-pr: whitelist new users + improve clan-merge #70

Merged
clan-bot merged 4 commits from DavHau-main into main 2023-08-07 08:41:29 +00:00
Conversation 0 Commits 4 Files Changed 3 +21 -14

4 Commits

Author SHA1 Message Date
DavHau
e0a849d383 clan-merge: improve PR debug messages
All checks were successful
build / test (push) Successful in 10s
Details
2023-08-07 10:40:37 +02:00
DavHau
cf07775f73 clan-merge: print PR number and ID when checking CI 2023-08-07 10:36:56 +02:00
DavHau
c69943feb3 clan-merge: whitelist hsjobeki & Qubasa 2023-08-07 10:34:17 +02:00
DavHau
5bd176d60d action-create-pr: fix $@ not forwarded 2023-08-07 10:30:59 +02:00