Hi, The next issue to resolve for the Git migration is developer process.
Note that this does not cover branch names, merge strategy etc. This is issue is about the options available for developers to organise their local development environment. The key question is how to efficiently switch between trunk, 8.5.x and 7.0.x. To some extent this will be personal preference. However, it would be useful to have some recommendations to give folks a starting point. Options discussed previously include: - multiple clones - git worktree We may want to consider documenting something and/or linking to some existing guides. Mark --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
