On 09/18/2012 09:04 AM, Thomas Diesler wrote:
PS: For some PRs GitHub lists commits that are already in master,
which
makes it difficult to see the real diff.
It should not do this if you're properly rebased. Chances are if it's
showing already-merged commits then a merge cannot happen cleanly and a
rebase/cleanup is needed anyway.
--
- DML