lucene-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Jan Høydahl <>
Subject Re: Github PR Collaboration Question
Date Tue, 17 Sep 2019 18:37:16 GMT
I like the idea to put it in the PR template checklist. Or you can ask the contributor to check
that box. I once made a PR against another PR branch and it worked but was too many steps.

I like the idea of squash-merging from PR branch since (I believe) the commit will then have
the credit of the contributor which then shows up in his/her stats on GH which is nice.

Jan Høydahl

> 17. sep. 2019 kl. 16:17 skrev Jason Gerlowski <>:
> Github does have an option that fork-owners can click when they create
> a PR that will give those with karma on the upstream repo the same
> karma on their PR branch.  [1] That would solve this problem somewhat.
> But it's still up to users to choose that themselves.  Maybe it makes
> sense to mention this as an optional checklist item in the PR template
> that was recently added.
> Still curious about other approaches though if anyone has suggestions.
> [1]
>> On Tue, Sep 17, 2019 at 10:12 AM Jason Gerlowski <> wrote:
>> Hey all,
>> I've hit a small snag reviewing a few PRs on github recently.  Wanted
>> to see if anyone has any suggestions for my workflow:
>> I’ve found myself in the position a few times where I want to add a
>> few small changes to a contributor’s PR…either to help them with a
>> piece they haven’t gotten to yet, or to show what I’m suggesting with
>> a particular review comment, or to clean up little things like
>> whitespace formatting, etc.  In the patch world, this is easy to do
>> without requiring review/acking by other contributors…you apply the
>> latest patch, make your additional changes, and re-upload to jira.
>> But in Github, you have to juggle branch/PR ownership.  PR’s are often
>> from personal forks, where others don't have write access there.  So I
>> can't add to the "main" PR without either (a) asking the contributor
>> to give me the right karma, or (b) opening my own "secondary" PR
>> against their "main" PR branch, and asking them to review/merge my
>> "secondary" PR.
>> Is there some simpler approach I'm missing?  I love the in-line
>> comments that Github supports for code-review, and it seems like more
>> committers are starting to use it.  I'd love to figure out how to make
>> it work for me.  But two developers collaborating on the same PR seems
>> like a pretty fundamental use case to be so heavyweight.  This must be
>> a problem that's solved, right?
>> Best,
>> Jason
> ---------------------------------------------------------------------
> To unsubscribe, e-mail:
> For additional commands, e-mail:

To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message