8 commits

Author	SHA1	Message	Date
Mislav Marohnić	531b15c831	Fix pr automation workflow	2021-03-31 18:39:00 +02:00
Mislav Marohnić	a238d2952d	Dynamically resolve the column ID for "Needs review"	2021-03-29 15:29:08 +02:00
Mislav Marohnić	c1c936b74b	Improve PR lint script ... - Do not add draft PRs to the review board - Do not enforce that the base branch must be "trunk" - Refuse PRs made with our "trunk" as the head - Improve staff check to avoid hardcoding - Improve pattern matching when suggesting to link to an issue - Use the stock GITHUB_TOKEN	2021-03-29 15:05:34 +02:00
vilmibm	bfdad5bd48	fix missing PRAUTHOR and add TODO	2021-03-10 18:15:01 -06:00
vilmibm	7675588280	grep tweaks	2021-03-10 18:07:09 -06:00
vilmibm	31312d22d0	meh	2021-03-10 14:49:42 -06:00
vilmibm	8ddc82e557	rename	2021-03-10 14:13:47 -06:00
vilmibm	75ac2595b3	add workflow	2021-03-10 14:01:15 -06:00