swebb2066 commented on PR #502: URL: https://github.com/apache/logging-log4cxx/pull/502#issuecomment-2958756811
> Am I supposed to include these changes to my PR? Yes, it helps the commit history to keep related changes together. > I don't have experience with GitHub CI and don't know how to test this. Just apply that change an push the commit to the same branch. The GitHub actions will run when we (the maintainers) approve the change. The build logs from the Github action are available in a drop down list when you click the check-mark that getss added beside the commit hash. -- 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
