[GitHub] [tomcat-jakartaee-migration] darmbrust commented on issue #5: ability to ignore file extensions?

darmbrust commented on issue #5: URL: https://github.com/apache/tomcat-jakartaee-migration/issues/5#issuecomment-705728238 For reference, this is the zip file the tool is failing on: https://github.com/rubyzip/rubyzip/blob/master/test/data/gpbit3stored.zip From the context of the

[GitHub] [tomcat-jakartaee-migration] darmbrust commented on issue #5: ability to ignore file extensions?

darmbrust commented on issue #5: URL: https://github.com/apache/tomcat-jakartaee-migration/issues/5#issuecomment-705728238 For reference, this is the zip file the tool is failing on: https://github.com/rubyzip/rubyzip/blob/master/test/data/gpbit3stored.zip From the context of the