5 commits

Author	SHA1	Message	Date
Jongwoo Han	d962f3b70a	devops: replace deprecated set-output command with environment file (#20752)	2023-02-08 16:53:07 +01:00
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