ppkarwasz commented on PR #2402: URL: https://github.com/apache/logging-log4j2/pull/2402#issuecomment-2028556859
Nothing to be worried about: there must be a race condition in the way Github interprets the CI script actions. The script: 1. modifies the PR branch, 1. calls `git push -f PR_branch`, 1. calls `git push PR_branch:main`. GitHub usually interprets 2 and 3 as a merge, but sometimes it interprets it as a "close" -- 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: notifications-unsubscr...@logging.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
