Commit graph

10 commits

Author SHA1 Message Date
Mislav Marohnić
93b5bf20eb Fix secrets in PR automation being available to PR from forks 2021-04-13 11:10:13 +02:00
Mislav Marohnić
a35d451b67 Fix PR automation workflow
- Use AUTOMATION_TOKEN to get around "resource not available by
  integration". It looks like jobs triggered from community pull
  requests do not have permissions to write to our project.

- Tolerate the "project already has the associated issue" error for
  staff as non-fatal.
2021-04-02 15:31:22 +02:00
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