(adding back opensuse-kernel. Or did you intentionally only send the
reply to me?)
On 2016-08-22 14:46, Jeff Mahoney wrote:
> On 8/22/16 6:37 AM, Michal Marek wrote:
>> On 2016-08-21 16:42, Jeff Mahoney wrote:
>>> BTW, AFAIK this is the first pull from the github repo. The github repo
>>> is actually a clone of our internal repository so we can't use github
>>> pull requests directly, but since github is just git behind the scenes,
>>> it was super easy to just pull directly from your branch.
>> Did you actually get a github notification about the pull request? I
>> noticed a notification in my mailbox this morning and wanted to forward
>> it to you. I guess you had learned from Jason's email meanwhile.
> Yeah, I only saw Jason's email. If we have something automated, it'd be
> nice to get the URL to pull from directly. Ideally that would be a URL
> for the pull request that I can plug right into git. In this case,
> Jason had only made the one change so it was easy to pull from his
> master branch.
I was thinking about making it simple and stupid and sending any pull
requests to this list. However, I do not want to create a mailbomb and
send all new kernel-source _commits_ here. Does anybody know how to
fine-tune this? The interface for adding the Email service is rather
simple (see attachment).
>> Right, but notifications need to be handled somehow.
> In which direction? It's easy enough to add each of us to the
> kernel-source github project.
This would also be an option.
> I don't know if github notices that a
> commit has landed in the repo that matches an outstanding pull request
> and closes it automatically with the subsequent notification to the
It does close it. I do not know whether it sends a notification to the