Re: Report issues with Jakarta EE migration tool

2020-02-12 Thread Martin Grigorov
On Wed, Feb 12, 2020 at 3:20 PM Rémy Maucherat wrote: > On Tue, Feb 11, 2020 at 4:49 PM Mark Thomas wrote: > >> On 11/02/2020 15:29, Martin Grigorov wrote: >> > >> > >> > On Tue, Feb 11, 2020, 17:12 Mark Thomas > > > wrote: >> > >> > On 11/02/2020 14:49, Martin

Re: Report issues with Jakarta EE migration tool

2020-02-12 Thread Rémy Maucherat
On Tue, Feb 11, 2020 at 4:49 PM Mark Thomas wrote: > On 11/02/2020 15:29, Martin Grigorov wrote: > > > > > > On Tue, Feb 11, 2020, 17:12 Mark Thomas > > wrote: > > > > On 11/02/2020 14:49, Martin Grigorov wrote: > > > Hi, > > > > > > What is the proper

Re: Report issues with Jakarta EE migration tool

2020-02-11 Thread Mark Thomas
On 11/02/2020 15:29, Martin Grigorov wrote: > > > On Tue, Feb 11, 2020, 17:12 Mark Thomas > wrote: > > On 11/02/2020 14:49, Martin Grigorov wrote: > > Hi, > > > > What is the proper place to report issues > > with 

Re: Report issues with Jakarta EE migration tool

2020-02-11 Thread Martin Grigorov
On Tue, Feb 11, 2020, 17:12 Mark Thomas wrote: > On 11/02/2020 14:49, Martin Grigorov wrote: > > Hi, > > > > What is the proper place to report issues > > with https://github.com/apache/tomcat-jakartaee-migration ? > > Since it is under `apache` org there is no 'Issues' tab. > > Bugzilla ?! > >

Re: Report issues with Jakarta EE migration tool

2020-02-11 Thread Martin Grigorov
On Tue, Feb 11, 2020, 17:06 Rémy Maucherat wrote: > On Tue, Feb 11, 2020 at 3:50 PM Martin Grigorov > wrote: > >> Hi, >> >> What is the proper place to report issues with >> https://github.com/apache/tomcat-jakartaee-migration ? >> Since it is under `apache` org there is no 'Issues' tab. >>

Re: Report issues with Jakarta EE migration tool

2020-02-11 Thread Mark Thomas
On 11/02/2020 14:49, Martin Grigorov wrote: > Hi, > > What is the proper place to report issues > with https://github.com/apache/tomcat-jakartaee-migration ? > Since it is under `apache` org there is no 'Issues' tab. > Bugzilla ?! We don't have anywhere yet. GitHub issues is an option. As is

Re: Report issues with Jakarta EE migration tool

2020-02-11 Thread Rémy Maucherat
On Tue, Feb 11, 2020 at 3:50 PM Martin Grigorov wrote: > Hi, > > What is the proper place to report issues with > https://github.com/apache/tomcat-jakartaee-migration ? > Since it is under `apache` org there is no 'Issues' tab. > Bugzilla ?! > > I've faced an issue with Spring Boot jars. > Once

Report issues with Jakarta EE migration tool

2020-02-11 Thread Martin Grigorov
Hi, What is the proper place to report issues with https://github.com/apache/tomcat-jakartaee-migration ? Since it is under `apache` org there is no 'Issues' tab. Bugzilla ?! I've faced an issue with Spring Boot jars. Once migrated trying to use it fails with: Exception in thread "main"