|
Welcome to the Bors-NG forum
|
|
0
|
1071
|
August 1, 2017
|
|
GenServer terminating periodically
|
|
1
|
13
|
October 13, 2020
|
|
RFC: Add support for custom commit titles
|
|
5
|
54
|
October 12, 2020
|
|
RFC: Add a new environment variable 'PUBLIC_PROTOCOL', to allow serving bors at a HTTP endpoint
|
|
0
|
26
|
October 8, 2020
|
|
Investigating check_self error
|
|
0
|
18
|
October 6, 2020
|
|
RFC: `bors r+ squash` to squash commits in a *specific* PR
|
|
7
|
136
|
October 5, 2020
|
|
Update base branch of PRs depending on a branch that will be deleted
|
|
2
|
81
|
October 13, 2020
|
|
Log outgoing HTTP request
|
|
2
|
66
|
October 13, 2020
|
|
Optimized bisection
|
|
2
|
58
|
September 26, 2020
|
|
Bors selective CI statuses
|
|
1
|
84
|
September 2, 2020
|
|
Bors falsely reports build failed
|
|
0
|
94
|
July 28, 2020
|
|
Show status on accepted RFCs
|
|
3
|
227
|
June 20, 2020
|
|
The required_approvals option should require up-to-date approvals
|
|
5
|
218
|
June 20, 2020
|
|
Is it safe to run Bors in multiple webserver?
|
|
1
|
126
|
July 17, 2020
|
|
Repo forgot it's bors installation
|
|
4
|
129
|
July 7, 2020
|
|
Rebase a pull request
|
|
5
|
647
|
July 1, 2020
|
|
Bors keep running and not merge to master
|
|
2
|
147
|
June 17, 2020
|
|
Option to not include the PR description in the Bors merge commit
|
|
1
|
140
|
June 15, 2020
|
|
Why don't Bors-ng pages update automatically?
|
|
6
|
132
|
June 13, 2020
|
|
Bors with GitHub Workflows
|
|
4
|
485
|
June 11, 2020
|
|
Allow controlling squash behaviour by using a bors command
|
|
3
|
179
|
June 8, 2020
|
|
How do I update bors-ng in Heroku?
|
|
1
|
143
|
June 5, 2020
|
|
Bors responding to ping, but not try or r+
|
|
8
|
264
|
May 20, 2020
|
|
Solved: bors keeps ignoring r+
|
|
0
|
167
|
May 18, 2020
|
|
Ignoring GitHub public email for committer
|
|
0
|
113
|
May 12, 2020
|
|
Bors try doesn't wait untill last build finishes?
|
|
3
|
343
|
April 30, 2020
|
|
Give "all users" the try permission
|
|
2
|
256
|
April 30, 2020
|
|
Sudden crash with concurrent batches
|
|
8
|
266
|
April 23, 2020
|
|
Will Bors automatically merge a PR if it's up to date with master?
|
|
1
|
176
|
April 23, 2020
|
|
What events does the bors app need to subscribe to?
|
|
0
|
130
|
April 19, 2020
|
