On 17 May 2016 at 20:44, Mehdi Amini <mehdi.amini at apple.com> wrote: > Updating the git-svn tool to find the PR in the original commit and adding the information in the revert seems appropriate to me here. Indeed, that makes more sense. :) I like this approach as well. --renato