Michael McLoughlin
|
ef60a33bf0
|
ci: upgrade actions (#340)
|
2022-11-26 15:00:56 -08:00 |
|
Michael McLoughlin
|
e3b49f1a29
|
ci: do not auto-merge draft pull requests (#282)
Provide a mechanism for testing workflows that create pull requests.
|
2022-05-08 15:50:22 -07:00 |
|
Michael McLoughlin
|
907500a407
|
.github: fix automerge (#273)
Use PR html_url rather than number.
|
2022-05-01 13:10:40 -07:00 |
|
Michael McLoughlin
|
b04c1d7a0f
|
.github: auto-merge bot pull requests (#268)
Adds workflow to auto-merge cadobot pull requests.
|
2022-05-01 12:58:02 -07:00 |
|