Commit Graph

63 Commits

Author SHA1 Message Date
dundargoc
81c5483dcb ci: add universal macos job (#22156)
The universal macos release is particularly sensitive to build system
changes. Adding a job that builds a universal binary whenever a cmake
file is changed will help prevent future release breaks.
2023-02-07 23:09:08 +01:00
dundargoc
ab11157808 ci: add platform:nix label when changing nix files (#21569)
Also update the reviewer list.
2022-12-28 15:19:23 +01:00
dundargoc
788eb65494 ci: remove needs:response label if author responds (#21489)
ci: remove "needs:response" label if author responds

The default behavior of the stale action is to indiscriminately remove
the `needs:response` label for any activity whatsoever, from anyone. The
other option is to turn it off completely, meaning the maintainers needs
to manually remove the label themselves when the author responds for an
issue to not close automatically. Neither of these behaviors are useful
to us.
2022-12-23 12:54:30 +01:00
dundargoc
ef95174694 ci: add team reviewers (#21434)
Using team reviewers when possible reduces the churn on the git history
as we'll be able to add or remove reviewers without needing to change
the workflow files.

This requires using Github fine-grained personal access tokens with Pull
Requests set to "Read and write" and Members to "Read-only".
2022-12-15 20:40:30 +01:00
dundargoc
5c52971f60 ci: use shell script to deduplicate workflow (#21079) 2022-12-05 11:58:13 +01:00
dundargoc
ef5ab2bf76 ci: add more reviewers based on label (#21155) 2022-11-30 14:19:11 +01:00
dundargoc
72b2353ab2 ci: add reviewers based on labels (#20703) 2022-10-18 11:13:58 +02:00
dundargoc
82d93429e7 ci: add more reviewers based on label (#17975) 2022-09-10 11:08:46 +02:00
Gregory Anders
ea10e0c104 ci: remove gpanders from api reviewers (#20074) 2022-09-03 21:49:45 -06:00
Michael Lingelbach
c671822d4d ci: remove mjlbach from reviewers (#18297) 2022-04-29 10:48:12 +02:00
Dundar Göc
da3ef2a538 ci: remove reviewers when drafting or closing a PR 2022-03-27 22:35:26 +02:00
Dundar Göc
b842f5491f ci(reviews): update reviewers 2022-03-04 11:28:32 +01:00
Dundar Göc
b877237612 ci(reviews): move reviews.js to .github/scripts 2022-02-17 14:48:14 +01:00