|
Is there a way to ensure that multiple PRs are included in a single batch?
|
|
1
|
314
|
June 5, 2021
|
|
Changed pr_status not detected by bors
|
|
0
|
337
|
May 24, 2021
|
|
{:badmatch, {:error, :push, 422}} on batch
|
|
3
|
820
|
April 19, 2021
|
|
Resetting Bors understanding of our repos?
|
|
0
|
324
|
April 12, 2021
|
|
At lest 1 approving review is required by reviewers with write access
|
|
1
|
3000
|
April 10, 2021
|
|
Occasional Crash over "Required status check"
|
|
0
|
257
|
February 4, 2021
|
|
Postgres timeout error with large GitHub organization
|
|
3
|
533
|
January 21, 2021
|
|
How do I enable debug log output?
|
|
2
|
385
|
January 14, 2021
|
|
Issue connecting to postgres rds db
|
|
4
|
339
|
January 7, 2021
|
|
How to give merge permission to other Github Apps?
|
|
4
|
398
|
December 31, 2020
|
|
REFUSED CONNECTION TO BorsNG.UserSocket after upgrading
|
|
3
|
2907
|
December 4, 2020
|
|
Where to store CODEOWNERS?
|
|
4
|
402
|
November 26, 2020
|
|
Investigating check_self error
|
|
1
|
491
|
November 17, 2020
|
|
GenServer terminating periodically
|
|
2
|
454
|
October 26, 2020
|
|
Optimized bisection
|
|
2
|
672
|
September 26, 2020
|
|
Bors selective CI statuses
|
|
1
|
374
|
September 2, 2020
|
|
Is it safe to run Bors in multiple webserver?
|
|
1
|
547
|
July 17, 2020
|
|
Repo forgot it's bors installation
|
|
4
|
411
|
July 7, 2020
|
|
Rebase a pull request
|
|
5
|
1611
|
July 1, 2020
|
|
Bors keep running and not merge to master
|
|
2
|
475
|
June 17, 2020
|
|
Bors with GitHub Workflows
|
|
4
|
1102
|
June 11, 2020
|
|
How do I update bors-ng in Heroku?
|
|
1
|
471
|
June 5, 2020
|
|
Solved: bors keeps ignoring r+
|
|
0
|
519
|
May 18, 2020
|
|
Bors try doesn't wait untill last build finishes?
|
|
3
|
586
|
April 30, 2020
|
|
Give "all users" the try permission
|
|
2
|
733
|
April 30, 2020
|
|
Sudden crash with concurrent batches
|
|
8
|
585
|
April 23, 2020
|
|
What events does the bors app need to subscribe to?
|
|
0
|
371
|
April 19, 2020
|
|
Failing to add a new repository
|
|
4
|
590
|
April 10, 2020
|
|
Time between batch cancellation and next batch start
|
|
0
|
365
|
April 1, 2020
|
|
Control renaming merged pull requests
|
|
8
|
858
|
March 25, 2020
|