|
|
fc31e1be73
|
allow all org members to automerge
|
2023-11-16 15:43:41 +01:00 |
|
|
|
58ceca44b8
|
apply statix
build / test (pull_request) Successful in 6s
|
2023-08-08 14:07:04 +02:00 |
|
DavHau
|
e0a849d383
|
clan-merge: improve PR debug messages
build / test (push) Successful in 10s
|
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
|
c3d560e3a7
|
clan-merge: don't crash if no CI status available
build / test (push) Successful in 11s
|
2023-07-28 18:45:57 +02:00 |
|
DavHau
|
3eefa127fb
|
clan-merge: add clan-bot to allowed users
build / test (push) Successful in 8s
|
2023-07-28 14:01:42 +02:00 |
|
DavHau
|
9127560a78
|
clan-merge: fix crash on PRs with assignees = None
build / test (push) Successful in 9s
|
2023-07-26 16:04:33 +02:00 |
|
DavHau
|
5c9c1f1518
|
clan-merge: require bot assigned
|
2023-07-26 14:33:36 +02:00 |
|
DavHau
|
b30e919816
|
init: clan-merge
|
2023-07-26 11:17:26 +02:00 |
|
