Skip to content

Decide and document team practices around PR merging and repository status #377

@choldgraf

Description

@choldgraf

In our development conventions we don't currently have anything about process for how to coordinate around pull requests. We should decide on some basic practices. I think these should be our guiding principles:

  • make sure that our codebase is top quality
  • make sure we build tools with many perspectives in mind (both from a developer and a user perspective)
  • design for a globally-distributed team that is all awake at different times
  • ensure we provide space for discussion, if needed
  • don't make this process so heavy-duty that it is cumbersome and significantly slows down development without obvious benefit

Some questions to answer

Here are a few questions that we should have answers for. I'll also provide a suggested answer we can follow to spark discussion.

  • Are there some repositories that we need to treat more strictly than other repositories?
  • How long should a PR be open before it can be merged? Is there a minimum time?
  • Is it OK to self-merge a PR if nobody has commented after some time?
  • What happens if there's a disagreement about the Pull Request? How do we resolve it?

Metadata

Metadata

Assignees

No one assigned

    Labels

    documentationImprovements or additions to documentation

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions