
Hi everyone An update from GitHub on the PR from Abid Rahman that was closed from their side without actually being integrated into scikit-image. The dangers of rebase :) Cheers Stéfan ---------- Forwarded message ---------- From: Brian Levine (GitHub Staff) Date: Wed, May 14, 2014 at 1:36 AM Subject: Re: Broken PR display To: Stefan van der Walt Hey Stefan It looks like the head branch of that pull request was updated to include a list of commits that already existed in master. When the head branch of a pull request is changed, the commit list is updated to reflect the diff between it and the base branch at that time. In this case, the commits pushed to the head branch existed in the upstream base branch, so the pull request was closed and marked as merged. I hope this helps explain things a bit. Let us know if you have any other questions. Brian GitHub Support
This PR claims that it has been merged, which it has not. Clicking on the the merged commit id at the bottom takes me to work done in an entirely different PR.
participants (1)
-
Stéfan van der Walt