ppkarwasz commented on PR #82: URL: https://github.com/apache/logging-parent/pull/82#issuecomment-1857578862
> Okay – PR will appear as _merged_ instead of _closed_ with a comment. What is the advantage of this outcome? > > I am reluctant to go forward with this. Since basic `git push`, `git fetch`, etc. commands used on a daily basis are replaced with more advanced ones with complicated references, of which I doubt anybody else in the PMC will understand except you. I admit that closed PRs look bad in my notifications and a repository Insights. Not sure if there are other advantages. Are these `git` commands really so obscure? I commented them to specify what we want to obtain. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
