hboutemy commented on PR #237: URL: https://github.com/apache/maven-scm/pull/237#issuecomment-2888540089
@michael-o it seems @pzygielo 's explanation is right, and it was the case 4 years ago: see #120 PR's commit https://github.com/apache/maven-scm/pull/120/commits is different form master commit https://github.com/apache/maven-scm/commit/3a10d0f52b1e564b8bdad71161d7c74ac1dd3d99 so it does not seem GitBox/GH behaviour changed, BUT we now do care about PR's not seen as merged by GH but only closed... I don't know if it is a limitation known to other projects: for example, Jena does not seem to have seen it and to work on a solution: I don't know by which magic GH PR merge works when it reworks the commit(s) = what GitBox should mimic I suppose -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: issues-unsubscr...@maven.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
