mhoffrog commented on PR #237: URL: https://github.com/apache/maven-scm/pull/237#issuecomment-2901711652
@hboutemy I could move my PRs branch to commit 8b44e4f6745e7bd677428be093921267317b8fe8 of the current master and force push my branch. Maybe GitHub would recognize it on this PR and mark the PR as merged. Please let me know if I should give it a try? (I guess it cannot get worse as it currently is.) Another option is to ask GH support for a probable solution. -- 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
