2 Commits

Author	SHA1	Message	Date
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