Re: grep open pull requests

2017-01-19 Thread Jeff King
On Thu, Jan 19, 2017 at 03:12:53PM -0700, Jack Bates wrote: > Cool, thanks for all your help! "git log --cherry-pick" works quite well. > One thing: I expected the following to be equivalent, but found that they're > not. Is that by accident or design? > > $ git rev-list --cherry-pick --right-o

Re: grep open pull requests

2017-01-19 Thread Jack Bates
On 19/01/17 12:02 PM, Jeff King wrote: It's much trickier to find from the git topology whether a particular history contains rebased versions of commits. You can look at the --cherry options to "git log", which use patch-ids to try to equate commits. Something like: git for-each-ref --format

Re: grep open pull requests

2017-01-19 Thread Jeff King
On Thu, Jan 19, 2017 at 11:12:03AM -0700, Jack Bates wrote: > I have a couple questions around grepping among open pull requests. > > First, "git for-each-ref --no-merged": When I run the following, > it lists refs/pull/1112/head, even though #1112 was merged in commit > ced4da1. I guess this is

grep open pull requests

2017-01-19 Thread Jack Bates
I have a couple questions around grepping among open pull requests. First, "git for-each-ref --no-merged": When I run the following, it lists refs/pull/1112/head, even though #1112 was merged in commit ced4da1. I guess this is because the tip of refs/pull/1112/head is 107fc59, not ced4da1? Th