Re: [PR] search button upgrading [tomcat]

2024-12-16 Thread via GitHub
ChristopherSchultz commented on PR #799: URL: https://github.com/apache/tomcat/pull/799#issuecomment-2546981057 Aw. Mark, I was actually going to encourage this kind of thing _as long as it's constructive_. In this particular case, it seems like a change just for the sake of a

Re: [PR] search button upgrading [tomcat]

2024-12-16 Thread via GitHub
markt-asf closed pull request #799: search button upgrading URL: https://github.com/apache/tomcat/pull/799 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mai

Re: [PR] search button upgrading [tomcat]

2024-12-16 Thread via GitHub
markt-asf commented on PR #799: URL: https://github.com/apache/tomcat/pull/799#issuecomment-2544885043 The Tomcat community is not a sandbox for you to use for your university course. This will be reported to GitHub as abusive behaviour. -- This is an automated message from the Apache Git

Re: [PR] search button upgrading [tomcat]

2024-12-11 Thread via GitHub
ihsanerben commented on PR #799: URL: https://github.com/apache/tomcat/pull/799#issuecomment-2536457876 Hi, I am a Software Engineering student, and we have a project at university. We need to examine a source code project and then make a pull request with some improvements. After proje

Re: [PR] search button upgrading [tomcat]

2024-12-11 Thread via GitHub
ChristopherSchultz commented on PR #799: URL: https://github.com/apache/tomcat/pull/799#issuecomment-2536322020 Again, why? -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment.