Closed
Description
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
Labels
No labels