Re: [gentoo-dev] RFI: A better workflow for github pull requests

[hasufell]

On 09/12/2015 09:12 PM, Michał Górny wrote:
>
> Potential solution: bi-dir github <=> bugzilla integration
> ==========================================================
>
> My current idea would be pretty much that:
>
> 1. a new dedicated Gentoo bug would be automatically created for every
> pull request on github,
>
> 2. all comments from github would be automatically copied to bugzie.
> All bugzie comments would be automatically copied to github,
>
> 3. resolving the bug would automatically close the relevant pull
> request.
>
> This way, all pull requests can be assigned to package maintainers in
> Bugzilla without having to resort to GitHub user or team names. All
> involved parties would get more reliable Bugzilla notification mails.
> They could choose to either use the provided URLs to discuss the pull
> request on GitHub, or discuss it directly on Bugzilla, whichever is
> more convenient to them.
>
> The additional Bugzilla load should be manageable, though we may want
> to employ some kind of rate limiting in case someone though it'd funny
> to spam our bugzilla via spamming github.
>
> Problems:
>
> - handling line comments (probably a Bugzie comment with quoted code
>   snippet),
>
> - handling comment edits and removals,
>
> - some people will get double mail for each comment,
>
> - extra bugs for existing issues (we shouldn't really try to reuse
>   existing bugs for this).
>
>
>
> What are your thoughts? Any other proposals?
>
>

We should probably auto-attach the patch from the pull request. This can
easily be done with link-rewriting, e.g.:
https://github.com/gentoo/gentoo/pull/83 to
https://github.com/gentoo/gentoo/pull/83.patch
yields a nice downloadable patch.

Or was that already part of your plan?