aboutsummaryrefslogtreecommitdiff
path: root/dev/tools/objects.el
diff options
context:
space:
mode:
authorThéo Zimmermann2018-07-19 15:30:22 +0200
committerThéo Zimmermann2018-11-06 17:11:25 +0100
commit278f75f5aac40e3ad811f1c87937550e1df08495 (patch)
treef0c964d80144ed283509535a3eda3a2a6568f9d8 /dev/tools/objects.el
parentf6033667bd9b8069308d4bcba420c4ce0771e44f (diff)
Update/improve two aspects of the merging process.
Following discussion in #7042, we write down an advice to give time for last comments before merging potentially controversial PRs. We document a practice that is becoming standard in order to improve PR merging time: some other maintainer can self-assign if the main maintainer is not responding. Encourage component maintainers to announce when they won't be available. We document the practice of code owner teams. Co-authored-by: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Diffstat (limited to 'dev/tools/objects.el')
0 files changed, 0 insertions, 0 deletions