issues
search
graydon
/
bors
Integration robot for buildbot and github
427
stars
49
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add link to Rust's homu fork in the README
#55
steveklabnik
closed
2 years ago
0
Update Bors for Python 3 support
#54
brahman81
closed
3 years ago
1
spelling: so
#53
jsoref
closed
4 years ago
0
Fix broken link in README
#51
adrianN
closed
3 years ago
1
Add reference to homu
#50
blakehawkins
closed
3 years ago
1
add PR id to comments posted on commit
#49
pnkfelix
opened
9 years ago
1
Rollup fixes
#48
barosl
closed
9 years ago
4
Alternative rollup implementation for the rust branch
#47
barosl
closed
9 years ago
6
Add batched merge (rollup) feature
#46
barosl
opened
9 years ago
3
Scream loudly when something breaks
#45
jdm
opened
9 years ago
0
Fix some issues that PEP8 found
#44
frewsxcv
closed
9 years ago
1
Utilize Python `not in` sugar
#43
frewsxcv
closed
9 years ago
1
Make it possible to ignore comments from certain users
#42
ghost
closed
9 years ago
2
github statuses feature doesn't count correctly
#41
metajack
opened
10 years ago
1
custom config for Github Enterprise
#40
cblp
closed
10 years ago
1
allow hyphens in usernames
#39
nathantypanski
closed
10 years ago
1
r=username doesn't allow dashes
#38
lilyball
closed
10 years ago
0
Bors polls too hard
#37
brson
opened
10 years ago
8
Approval list issues
#36
lilyball
opened
10 years ago
0
Fast-forward master in the same run as seeing the passing tests
#35
brson
opened
10 years ago
1
Add PR "rollups"
#34
brson
opened
10 years ago
6
Let users know when feature branch is stale
#33
reiddraper
opened
10 years ago
0
Several API calls now require pagination
#32
reiddraper
opened
10 years ago
1
Retry command is too picky
#31
reiddraper
opened
10 years ago
1
The pull-request list API does not paginate
#30
reiddraper
closed
10 years ago
3
feature req: bors queue should also link to head commit
#29
pnkfelix
opened
10 years ago
0
Optionally delete the pull-request source branch
#28
reiddraper
closed
10 years ago
3
Support multiple repos in bors.html
#27
Vagabond
closed
10 years ago
0
Allow bors to look at gihtub commit status API for merge commit
#26
Vagabond
closed
10 years ago
2
Fix key error exception
#25
reiddraper
closed
10 years ago
0
A few patches
#24
brson
closed
10 years ago
0
Add an optimism parameter for rolling PRs together
#23
chris-morgan
opened
10 years ago
9
Bors allows PR owners to change control messages
#22
brson
closed
10 years ago
16
Basho features
#21
reiddraper
closed
10 years ago
25
Bors' merge commit drops title from original PR
#20
pnkfelix
closed
10 years ago
6
copy the bors.py comments to README.md with some formating, for github readability
#19
Mortimerp9
closed
10 years ago
1
Feature request: Add way for PR author to opt out of being listed in bors queue
#18
pnkfelix
opened
10 years ago
1
generalize pull request urls
#17
avoine
closed
10 years ago
1
Determine list of reviewers from repository collaborators
#16
jdm
closed
10 years ago
0
Generalize and link to Buildbot
#15
djmitche
closed
5 years ago
3
Should not close pull requests
#14
SimonSapin
closed
10 years ago
13
Version bump.
#13
bhearsum
closed
11 years ago
0
bors' version of github.py sometimes has json related tracebacks
#12
bhearsum
opened
11 years ago
1
bors retried the same pull request over and over and over
#11
bhearsum
closed
11 years ago
5
add a way to enable using valgrind
#10
thestinger
closed
11 years ago
1
Report stats about failure rates
#9
brson
opened
11 years ago
2
Be a little less picky about where got_revision comes from.
#8
bhearsum
closed
11 years ago
0
Add an "outdated" state on the queue status page
#7
catamorphism
closed
11 years ago
1
Warn when bors is stuck
#6
catamorphism
opened
11 years ago
0
Maximum number of pull requests
#5
catamorphism
closed
11 years ago
1
Next