Simon, On 7/27/25 1:46 PM, Simon Arame wrote:
I would like to submit a pull request or merge request for tomcat. We have created a fork on Github. What is the standard way to proceed. Should I commit to my copy of the "main" branch or create a special branch with a particular name ?
I have found that every time I commit to a fork's main branch, I regret it and wish I had done a separate branch just for the PR.
I would recommend a branch, but you can do whatever you want; the PR doesn't care which branch you use (including main).
-chris --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
