michael-o commented on PR #237: URL: https://github.com/apache/maven-scm/pull/237#issuecomment-2904154061
> @hboutemy I could reset my PRs branch to commit [8b44e4f](https://github.com/apache/maven-scm/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.) > > Edited 23-May-2025: @michael-o Looking to #238 you did exactly that - force pushing the commit on master to the PR branch - and this did change the state of the PR from closed to merged as far as I can see. I guess that is what is missing on this PR here. Can you do the same here? - you have the appropriate rights on my branch since I did check to allow edits for maintainers on it. Try yourself and we will see. -- 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
