aboutsummaryrefslogtreecommitdiff
path: root/local.mk
diff options
context:
space:
mode:
authorValentin Gagarin <valentin.gagarin@tweag.io>2023-01-11 09:39:24 +0100
committerValentin Gagarin <valentin.gagarin@tweag.io>2023-03-28 11:51:57 +0200
commit6c651599b0fa6c049e5044608fcde1daefb17142 (patch)
tree2caf9a53bb778b95b6823675776ef11b87b5dc4e /local.mk
parent56dc6ed8410510033b835d48b3bd22766e8349a0 (diff)
review process: all PRs must be triaged
in order to make the development process more transparent for everyone, all pull requests should go through the triage process before getting merged. this ensures that all team members are aware of what is going on, and that rationale for decisions is kept track of in the meeting notes for posterity. (ideally all that should go into the commit history, but this is a more invasive process change that needs further deliberation.) having all team members take at least a brief but conscious look at each change may also help with keeping our quality standards, as more reviewers are more likely to remind each other of our shared values.
Diffstat (limited to 'local.mk')
0 files changed, 0 insertions, 0 deletions