Hi, This was noted yesterday in #tomcat:
<peetaur2> the tomcat85 repo has a tag TOMCAT_8_0_14 which has a message "Tag 8.5.14" ... <peetaur2> but git diff TOMCAT_8_5_14 TOMCAT_8_0_14 shows no output I took a look at SVN and the tags seem right, but maybe they were broken and later fixed post replication? The correct tags do exist in the github repo, but two 8.0 tags exist (https://github.com/apache/tomcat85/tree/TOMCAT_8_0_12 and https://github.com/apache/tomcat85/tree/TOMCAT_8_0_14) that are clearly meant for the 8.5.12 and 8.5.14 releases. Can we delete those from the github repo? Thanks, Coty --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@tomcat.apache.org For additional commands, e-mail: dev-h...@tomcat.apache.org
