Re: Fwd: Tomcat 7.0.84 vs. 7.0.91 config diff webpage not available

2019-06-04 Thread Mark Thomas
On 04/06/2019 22:32, Chris Lambertus wrote: > This looks like it relies on tooling we had to disable on gitbox due to > abuse of the service. You may want to point this at github’s diff system > instead. Chris, Last time I checked Infra's intention was to re-enable this service on gitbox. Is

Fwd: Tomcat 7.0.84 vs. 7.0.91 config diff webpage not available

2019-06-04 Thread Chris Lambertus
This looks like it relies on tooling we had to disable on gitbox due to abuse of the service. You may want to point this at github’s diff system instead. I have not replied to the customer. -Chris > Begin forwarded message: > > From: proste ja > Subject: Tomcat 7.0.84 vs. 7.0.91 config