graydon/bors issues and pull requests

#55 - Add link to Rust's homu fork in the README

Pull Request - State: closed - Opened by steveklabnik almost 3 years ago

#54 - Update Bors for Python 3 support

Pull Request - State: closed - Opened by brahman81 over 3 years ago - 1 comment

#53 - spelling: so

Pull Request - State: closed - Opened by jsoref over 4 years ago

#51 - Fix broken link in README

Pull Request - State: closed - Opened by adrianN over 6 years ago - 1 comment

#50 - Add reference to homu

Issue - State: closed - Opened by blakehawkins almost 8 years ago - 1 comment

#49 - add PR id to comments posted on commit

Issue - State: open - Opened by pnkfelix almost 10 years ago - 1 comment

#48 - Rollup fixes

Pull Request - State: closed - Opened by barosl almost 10 years ago - 4 comments

#47 - Alternative rollup implementation for the rust branch

Pull Request - State: closed - Opened by barosl almost 10 years ago - 6 comments

#46 - Add batched merge (rollup) feature

Pull Request - State: open - Opened by barosl almost 10 years ago - 3 comments

#45 - Scream loudly when something breaks

Issue - State: open - Opened by jdm almost 10 years ago

#44 - Fix some issues that PEP8 found

Pull Request - State: closed - Opened by frewsxcv almost 10 years ago - 1 comment

#43 - Utilize Python `not in` sugar

Pull Request - State: closed - Opened by frewsxcv almost 10 years ago - 1 comment

#42 - Make it possible to ignore comments from certain users

Pull Request - State: closed - Opened by ghost about 10 years ago - 2 comments

#41 - github statuses feature doesn't count correctly

Issue - State: open - Opened by metajack about 10 years ago - 1 comment

#40 - custom config for Github Enterprise

Pull Request - State: closed - Opened by cblp about 10 years ago - 1 comment

#39 - allow hyphens in usernames

Pull Request - State: closed - Opened by nathantypanski over 10 years ago - 1 comment

#39 - allow hyphens in usernames

Pull Request - State: closed - Opened by nathantypanski over 10 years ago - 1 comment

#38 - r=username doesn't allow dashes

Issue - State: closed - Opened by lilyball over 10 years ago

#38 - r=username doesn't allow dashes

Issue - State: closed - Opened by lilyball over 10 years ago

#37 - Bors polls too hard

Issue - State: open - Opened by brson over 10 years ago - 8 comments

#36 - Approval list issues

Issue - State: open - Opened by lilyball over 10 years ago

#36 - Approval list issues

Issue - State: open - Opened by lilyball over 10 years ago

#35 - Fast-forward master in the same run as seeing the passing tests

Issue - State: open - Opened by brson over 10 years ago - 1 comment

#35 - Fast-forward master in the same run as seeing the passing tests

Issue - State: open - Opened by brson over 10 years ago - 1 comment

#34 - Add PR "rollups"

Issue - State: open - Opened by brson over 10 years ago - 6 comments

#33 - Let users know when feature branch is stale

Issue - State: open - Opened by reiddraper over 10 years ago

#32 - Several API calls now require pagination

Issue - State: open - Opened by reiddraper over 10 years ago - 1 comment

#32 - Several API calls now require pagination

Issue - State: open - Opened by reiddraper over 10 years ago - 1 comment

#31 - Retry command is too picky

Issue - State: open - Opened by reiddraper over 10 years ago - 1 comment

#30 - The pull-request list API does not paginate

Pull Request - State: closed - Opened by reiddraper over 10 years ago - 3 comments

#29 - feature req: bors queue should also link to head commit

Issue - State: open - Opened by pnkfelix over 10 years ago

#29 - feature req: bors queue should also link to head commit

Issue - State: open - Opened by pnkfelix over 10 years ago

#28 - Optionally delete the pull-request source branch

Pull Request - State: closed - Opened by reiddraper over 10 years ago - 3 comments

#28 - Optionally delete the pull-request source branch

Pull Request - State: closed - Opened by reiddraper over 10 years ago - 3 comments

#27 - Support multiple repos in bors.html

Pull Request - State: closed - Opened by Vagabond over 10 years ago

#27 - Support multiple repos in bors.html

Pull Request - State: closed - Opened by Vagabond over 10 years ago

#26 - Allow bors to look at gihtub commit status API for merge commit

Pull Request - State: closed - Opened by Vagabond over 10 years ago - 2 comments

#26 - Allow bors to look at gihtub commit status API for merge commit

Pull Request - State: closed - Opened by Vagabond over 10 years ago - 2 comments

#25 - Fix key error exception

Pull Request - State: closed - Opened by reiddraper over 10 years ago

#24 - A few patches

Pull Request - State: closed - Opened by brson over 10 years ago

#24 - A few patches

Pull Request - State: closed - Opened by brson over 10 years ago

#23 - Add an optimism parameter for rolling PRs together

Issue - State: open - Opened by chris-morgan over 10 years ago - 9 comments

#22 - Bors allows PR owners to change control messages

Issue - State: closed - Opened by brson over 10 years ago - 16 comments

#21 - Basho features

Pull Request - State: closed - Opened by reiddraper over 10 years ago - 25 comments

#21 - Basho features

Pull Request - State: closed - Opened by reiddraper over 10 years ago - 25 comments

#20 - Bors' merge commit drops title from original PR

Issue - State: closed - Opened by pnkfelix almost 11 years ago - 6 comments

#20 - Bors' merge commit drops title from original PR

Issue - State: closed - Opened by pnkfelix almost 11 years ago - 6 comments

#19 - copy the bors.py comments to README.md with some formating, for github readability

Pull Request - State: closed - Opened by Mortimerp9 almost 11 years ago - 1 comment

#18 - Feature request: Add way for PR author to opt out of being listed in bors queue

Issue - State: open - Opened by pnkfelix almost 11 years ago - 1 comment

#17 - generalize pull request urls

Pull Request - State: closed - Opened by avoine almost 11 years ago - 1 comment

#16 - Determine list of reviewers from repository collaborators

Issue - State: closed - Opened by jdm about 11 years ago

#16 - Determine list of reviewers from repository collaborators

Issue - State: closed - Opened by jdm about 11 years ago

#15 - Generalize and link to Buildbot

Issue - State: closed - Opened by djmitche about 11 years ago - 3 comments

#14 - Should not close pull requests

Issue - State: closed - Opened by SimonSapin about 11 years ago - 13 comments

#14 - Should not close pull requests

Issue - State: closed - Opened by SimonSapin about 11 years ago - 13 comments

#13 - Version bump.

Pull Request - State: closed - Opened by bhearsum about 11 years ago

#13 - Version bump.

Pull Request - State: closed - Opened by bhearsum about 11 years ago

#12 - bors' version of github.py sometimes has json related tracebacks

Issue - State: open - Opened by bhearsum over 11 years ago - 1 comment

#12 - bors' version of github.py sometimes has json related tracebacks

Issue - State: open - Opened by bhearsum over 11 years ago - 1 comment

#11 - bors retried the same pull request over and over and over

Issue - State: closed - Opened by bhearsum over 11 years ago - 5 comments

#11 - bors retried the same pull request over and over and over

Issue - State: closed - Opened by bhearsum over 11 years ago - 5 comments

#10 - add a way to enable using valgrind

Issue - State: closed - Opened by thestinger over 11 years ago - 1 comment
Labels: enhancement

#10 - add a way to enable using valgrind

Issue - State: closed - Opened by thestinger over 11 years ago - 1 comment
Labels: enhancement

#9 - Report stats about failure rates

Issue - State: open - Opened by brson over 11 years ago - 2 comments

#9 - Report stats about failure rates

Issue - State: open - Opened by brson over 11 years ago - 2 comments

#8 - Be a little less picky about where got_revision comes from.

Pull Request - State: closed - Opened by bhearsum over 11 years ago

#8 - Be a little less picky about where got_revision comes from.

Pull Request - State: closed - Opened by bhearsum over 11 years ago

#7 - Add an "outdated" state on the queue status page

Issue - State: closed - Opened by catamorphism over 11 years ago - 1 comment
Labels: enhancement

#7 - Add an "outdated" state on the queue status page

Issue - State: closed - Opened by catamorphism over 11 years ago - 1 comment
Labels: enhancement

#6 - Warn when bors is stuck

Issue - State: open - Opened by catamorphism over 11 years ago
Labels: enhancement

#5 - Maximum number of pull requests

Issue - State: closed - Opened by catamorphism over 11 years ago - 1 comment
Labels: enhancement

#5 - Maximum number of pull requests

Issue - State: closed - Opened by catamorphism over 11 years ago - 1 comment
Labels: enhancement

#4 - Setup

Pull Request - State: closed - Opened by bhearsum over 11 years ago - 1 comment

#3 - In Bors queue status page, distinguish between "un-reviewed" and "un-discussed"

Issue - State: closed - Opened by catamorphism over 11 years ago - 2 comments
Labels: enhancement

#2 - Accept r=foo to indicate r+

Issue - State: closed - Opened by nikomatsakis almost 12 years ago - 2 comments

#2 - Accept r=foo to indicate r+

Issue - State: closed - Opened by nikomatsakis almost 12 years ago - 2 comments

#1 - sort by date, oldest first

Issue - State: closed - Opened by graydon almost 12 years ago - 1 comment

#1 - sort by date, oldest first

Issue - State: closed - Opened by graydon almost 12 years ago - 1 comment

GitHub / graydon/bors issues and pull requests