Commit Graph

4 Commits

Author SHA1 Message Date
Anders Kaseorg
afc1774a2b
devops: spell “cherry-pick” correctly in commit messages (#19850) 2023-01-04 19:00:53 +01:00
Max Schmitt
e8b9d4e758
devops: bump github actions (#16952) 2022-08-31 17:23:42 +02:00
Max Schmitt
5578b86885 devops: fix cherry-pick bot 2022-08-11 10:03:23 +02:00
Max Schmitt
ae7d767e58
devops: add cherry-pick bot (#16419) 2022-08-11 00:43:33 +02:00