|
|
afd94e2d3b
|
add more comments, use correct PR submitter, some cleanup
|
2016-08-28 06:43:26 -04:00 |
|
|
|
9a05bdd795
|
apply utf-8 encoding to json data received from github. some comments.
|
2016-08-27 23:30:10 -04:00 |
|
|
|
6bc4674878
|
made the detection of pull request assignees more robust
|
2016-08-27 23:11:05 -04:00 |
|
|
|
de3e324f7e
|
change default to verbose for pending-pulls.py script
|
2016-08-27 17:09:22 -04:00 |
|
|
|
485a86b4bb
|
add python script allowing steve to poll and process pending pull requests from the command line
|
2016-08-27 01:45:34 -04:00 |
|
