|
Welcome to the Bors-NG forum
|
1
|
August 1, 2017
|
|
Allow Bors to Auto-Retry
|
2
|
September 18, 2019
|
|
Add an optional “draft/WIP pull request” section to the RFC template
|
4
|
September 17, 2019
|
|
Allow `merge` as an alias for `r+`
|
4
|
September 16, 2019
|
|
Allow `delegate` to be abbreviated as `d`
|
5
|
September 14, 2019
|
|
User defined aliases for Bors commands
|
5
|
September 15, 2019
|
|
Bors push/commit not triggering github/pages task
|
4
|
September 15, 2019
|
|
Bors command reactji confirmations?
|
1
|
September 12, 2019
|
|
Use a squash merge in Bors
|
28
|
September 9, 2019
|
|
Bors support for CODEOWNERS
|
7
|
September 9, 2019
|
|
Possible bug: long delay between `bors try` succeeding and the `try - Build succeeded` comment being posted
|
3
|
September 9, 2019
|
|
Is it possible to cancel a "try" command?
|
2
|
August 29, 2019
|
|
Bors r+ - wait for CI to succeed
|
3
|
August 24, 2019
|
|
Link for github bors plugin
|
2
|
August 23, 2019
|
|
Restricting access to the Bors dashboard
|
2
|
August 20, 2019
|
|
Add a new configuration option `status_wait_success`
|
1
|
August 14, 2019
|
|
Bug report: Travis should not look at the `codecov` status if the Travis status check is still pending
|
11
|
August 14, 2019
|
|
Ability to create merge commits locally in self-hosted instances of Bors
|
7
|
August 13, 2019
|
|
Just merge if a recent 'bors try' succeeded
|
2
|
August 8, 2019
|
|
Batching strategy vs one-at-a-time
|
7
|
July 31, 2019
|
|
Unable to remove repositories from Bors
|
4
|
July 31, 2019
|
|
Update the version of bors in the `borsng/bors-ng` Docker image
|
4
|
July 31, 2019
|
|
Running Bors using `docker-compose` - how to enable HTTPS?
|
3
|
July 30, 2019
|
|
Test each commit in a PR
|
7
|
July 26, 2019
|
|
Rename repository in Bors?
|
3
|
July 24, 2019
|
|
How is Bors different from protected branches on Github?
|
3
|
July 18, 2019
|
|
Automatically merge dependabot PRs
|
3
|
July 11, 2019
|
|
Other apps that implement the NRSROSE
|
3
|
July 7, 2019
|
|
Add a "Bors enabled" badge for marketing/advertising
|
16
|
July 1, 2019
|
|
Bors with azure pipelines
|
3
|
June 27, 2019
|
