mhoffrog commented on PR #238: URL: https://github.com/apache/maven-scm/pull/238#issuecomment-2872331326
> > @michael-o Merged PR should have a label and milestone .... > > By default GitHub action - PR Automation do it .... but here was not executed ... probably of merge by commit no GitHub UI > > I don't use the Github UI since it uses the wrong email address for me instead of the apache.org. @michael-o GitHub UI is not needed to merge. You can merge locally to the PRs target branch and then push the PR target branch - if you are authorized appropriately. Typically GitHub will recognize that merge properly and will close the PR as merged. May be the configuration behind `asf-gitbox-commits` is interfering with that. -- 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
