Skip to content

Get rid of the master/incoming distinction #6024

Closed
@bstrie

Description

@bstrie

In theory, Bors should be keeping the incoming branch green at all times. Is this distinction still necessary?

Pros to getting rid of the distinction:

  • Online docs only get built from master, so this keeps docs and development in sync
  • There's no longer any need to tell people to target PRs at incoming
  • No more questions regarding the difference between incoming and master

Cons:

  • Sometimes incoming is still red despite Bors

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions