clan-merge: add clan-bot to allowed users
All checks were successful
build / test (push) Successful in 12s

This commit is contained in:
DavHau 2023-07-28 13:26:12 +02:00
parent f3d814b1a6
commit 4f3184ba73
2 changed files with 4 additions and 2 deletions

View File

@ -16,7 +16,7 @@
script = ''
while sleep 10; do
${self.packages.${pkgs.system}.clan-merge}/bin/clan-merge \
--allowed-users DavHau lassulus Mic92 \
--allowed-users clan-bot DavHau lassulus Mic92 \
--repos clan-infra clan-core clan-homepage \
--bot-name clan-bot
done

View File

@ -120,7 +120,9 @@ def clan_merge(
f"Would merge PR {pr['number']} in repo {repo} from user {pr['user']['login']}"
)
else:
print("Merging PR " + str(pr["id"]))
print(
f"Merging PR {pr['number']} in repo {repo} from user {pr['user']['login']}"
)
data = dict(
Do="merge",
)