vy commented on PR #82: URL: https://github.com/apache/logging-parent/pull/82#issuecomment-1857470006
> This PR changes the way Dependabot PR's appear in a repository history. > > Currently their changes are applied only to the base branch and the PR itself is closed. > > Instead of closing the PR we can reset its branch to the updated base branch. Github will detect this change and mark the PR as "merged" instead of "closed". 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. -- 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]
