diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-06-19 10:55:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-06-19 10:55:34 +0200 |
| commit | b6e74ea5a82e5c43d42bf8386236947408748a96 (patch) | |
| tree | 56db7d36b31a49b76eb8530a1dbb33a415850f66 /maintainers | |
| parent | 8f6255b86ac9c29bd96744300e5e26f989e1e2d5 (diff) | |
maintainers: add note on marking PRs as draft
as discussed with maintainers team
Diffstat (limited to 'maintainers')
| -rw-r--r-- | maintainers/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintainers/README.md b/maintainers/README.md index d13349438..0d520cb0c 100644 --- a/maintainers/README.md +++ b/maintainers/README.md @@ -117,6 +117,7 @@ Pull requests in this column are reviewed together during work meetings. This is both for spreading implementation knowledge and for establishing common values in code reviews. When the overall direction is agreed upon, even when further changes are required, the pull request is assigned to one team member. +If significant changes are requested or reviewers cannot come to a conclusion in reasonable time, the pull request is [marked as draft](https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/changing-the-stage-of-a-pull-request#converting-a-pull-request-to-a-draft). ### Assigned |