martin-g commented on pull request #362: URL: https://github.com/apache/tomcat/pull/362#issuecomment-693486771
Any Github project member can push to the contributor's branch if it is a source of a PR. On Wed, Sep 16, 2020, 16:22 Mark Thomas <notificati...@github.com> wrote: > OK. I have a plan. I have checked out the source branch for the PR locally > and am using a visual diff tool to compare this PR with Tomcat. The tool > provides tools to easily review the changes in the PR and apply them > selectively to Tomcat. I'll apply changes manually. If you can rebase this > PR periodically, that will enable this PR to reflect the current TODO list > in terms of what needs to be reviewed (and potentially merged). There will > be some changes that can't be made in Tomcat. I can direct you to the > correct upstream project for those. If you can remove those changes from > this PR and submit PRs for the appropriate project(s) that would be very > helpful. > > — > You are receiving this because you commented. > Reply to this email directly, view it on GitHub > <https://github.com/apache/tomcat/pull/362#issuecomment-693401407>, or > unsubscribe > <https://github.com/notifications/unsubscribe-auth/AABYUQSDUSFYPEI6Y75SXWDSGC3ZBANCNFSM4RK2RVLA> > . > ---------------------------------------------------------------- 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. For queries about this service, please contact Infrastructure at: us...@infra.apache.org --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
