Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | ci: add platform:nix label when changing nix files (#21569) | dundargoc | 2022-12-28 |
| | | | Also update the reviewer list. | ||
* | ci: remove needs:response label if author responds (#21489) | dundargoc | 2022-12-23 |
| | | | | | | | | | | 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. | ||
* | ci: add team reviewers (#21434) | dundargoc | 2022-12-15 |
| | | | | | | | | 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". | ||
* | ci: use shell script to deduplicate workflow (#21079) | dundargoc | 2022-12-05 |
| | |||
* | ci: add more reviewers based on label (#21155) | dundargoc | 2022-11-30 |
| | |||
* | ci: add reviewers based on labels (#20703) | dundargoc | 2022-10-18 |
| | |||
* | ci: add more reviewers based on label (#17975) | dundargoc | 2022-09-10 |
| | |||
* | ci: remove gpanders from api reviewers (#20074) | Gregory Anders | 2022-09-03 |
| | |||
* | ci: remove mjlbach from reviewers (#18297) | Michael Lingelbach | 2022-04-29 |
| | |||
* | ci: remove reviewers when drafting or closing a PR | Dundar Göc | 2022-03-27 |
| | |||
* | ci(reviews): update reviewers | Dundar Göc | 2022-03-04 |
| | |||
* | ci(reviews): move reviews.js to .github/scripts | Dundar Göc | 2022-02-17 |