+ [2017-03-10T17:20:27Z] kbs what I mean (in case I wasn't clear :) - the commentor would like the pull requestor to modify something before accepting it, and also provides a snippet of code for the desired change
+ [2017-03-10T20:55:42Z] nedbat kbs: sounds like a pull request into the pull request. You can do that by making a pull request into the branch of the pull request.
+ [2017-03-10T21:31:57Z] Koopz does github have a filter for state:conflict?
+ [2017-03-10T21:32:20Z] Koopz in case i want to see if any of my PRs are conflicting
+ [2017-03-10T22:13:44Z] kbs nedbat: ah, interesting - thanks for that idea. Ideally I'd prefer to have this as a comment which the original requestor can choose to apply [context, automated robot that does static analysis with suggested fixes] but I will experiment how github renders a pull request on a pull request.

message no. 165123

Posted by dmi3on in #github at 2017-03-10T08:52:42Z

I would not be surprised if on IRC there couple really good bots
+ [2017-03-11T05:53:55Z] sparr how can I find the repo/branch/etc for a github.io site?
+ [2017-03-11T05:56:21Z] preaction sparr: github.com/<username>. then start guessing
+ [2017-03-11T07:28:48Z] significance How can I automatically deploy on push to GitHub?
+ [2017-03-11T07:29:03Z] significance Nothing fancy -- just swap the code and restart a single python script
+ [2017-03-11T07:31:11Z] significance I've seen webhooks, but the problem is that the server I'm deploying to is local, and doesn't have a URL