test_ok2

Author	SHA1	Message	Date
Ran Benita	864a2bc0a3	ci: use GitHub Actions token instead of `chatops`/`release_notes` secrets It seems more secure to use the controlled & limited token than an ambient secret.	2021-05-18 16:05:14 +03:00
Ronny Pfannschmidt	ff6d5ae278	port the rest of the scripts/docs over to the main branch	2021-03-18 22:13:12 +01:00
pre-commit-ci[bot]	ee03e31831	[pre-commit.ci] pre-commit autoupdate (#8201 ) * [pre-commit.ci] pre-commit autoupdate * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci * manual fixes after configuration update * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com> Co-authored-by: Anthony Sottile <asottile@umich.edu>	2020-12-30 11:56:09 +02:00
Bruno Oliveira	f1a1de2257	Use manual trigger to prepare release PRs (#8150 ) Co-authored-by: Ran Benita <ran@unusedvar.com>	2020-12-16 07:50:02 -03:00