+[8 years ago]kbswhat 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 +[8 years ago]nedbatkbs: 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. +[8 years ago]Koopzdoes github have a filter for state:conflict? +[8 years ago]Koopzin case i want to see if any of my PRs are conflicting +[8 years ago]kbsnedbat: 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.
with so much data, some one like me just better would already done it :)
+[8 years ago]sparrhow can I find the repo/branch/etc for a github.io site? +[8 years ago]preactionsparr: github.com/<username>. then start guessing +[8 years ago]significanceHow can I automatically deploy on push to GitHub? +[8 years ago]significanceNothing fancy -- just swap the code and restart a single python script +[8 years ago]significanceI've seen webhooks, but the problem is that the server I'm deploying to is local, and doesn't have a URL