|
Postgres timeout error with large GitHub organization
|
|
3
|
219
|
January 21, 2021
|
|
RFC: Add support for custom commit titles
|
|
9
|
369
|
January 14, 2021
|
|
How do I enable debug log output?
|
|
2
|
201
|
January 14, 2021
|
|
Issue connecting to postgres rds db
|
|
4
|
171
|
January 7, 2021
|
|
How to give merge permission to other Github Apps?
|
|
4
|
174
|
December 31, 2020
|
|
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading
|
|
3
|
447
|
December 4, 2020
|
|
Where to store CODEOWNERS?
|
|
4
|
237
|
November 26, 2020
|
|
Investigating check_self error
|
|
1
|
305
|
November 17, 2020
|
|
Bors missing approvals
|
|
3
|
206
|
November 15, 2020
|
|
Add a new environment variable 'PUBLIC_PROTOCOL', to allow serving bors at a HTTP endpoint
|
|
2
|
301
|
November 5, 2020
|
|
Draft RFC: Support building batches in parallel
|
|
5
|
351
|
November 5, 2020
|
|
Log outgoing HTTP request
|
|
2
|
307
|
October 13, 2020
|
|
Update base branch of PRs depending on a branch that will be deleted
|
|
2
|
382
|
October 13, 2020
|
|
GenServer terminating periodically
|
|
2
|
230
|
October 26, 2020
|
|
Optimized bisection
|
|
2
|
348
|
September 26, 2020
|
|
Bors selective CI statuses
|
|
1
|
240
|
September 2, 2020
|
|
Bors falsely reports build failed
|
|
0
|
250
|
July 28, 2020
|
|
Show status on accepted RFCs
|
|
3
|
385
|
June 20, 2020
|
|
The required_approvals option should require up-to-date approvals
|
|
5
|
468
|
June 20, 2020
|
|
Is it safe to run Bors in multiple webserver?
|
|
1
|
370
|
July 17, 2020
|
|
Repo forgot it's bors installation
|
|
4
|
285
|
July 7, 2020
|
|
Rebase a pull request
|
|
5
|
1106
|
July 1, 2020
|
|
Bors keep running and not merge to master
|
|
2
|
316
|
June 17, 2020
|
|
Option to not include the PR description in the Bors merge commit
|
|
1
|
304
|
June 15, 2020
|
|
Why don't Bors-ng pages update automatically?
|
|
6
|
304
|
June 13, 2020
|
|
Bors with GitHub Workflows
|
|
4
|
783
|
June 11, 2020
|
|
Allow controlling squash behaviour by using a bors command
|
|
3
|
492
|
June 8, 2020
|
|
How do I update bors-ng in Heroku?
|
|
1
|
308
|
June 5, 2020
|
|
Bors responding to ping, but not try or r+
|
|
8
|
539
|
May 20, 2020
|
|
Solved: bors keeps ignoring r+
|
|
0
|
314
|
May 18, 2020
|
