Bug#1052498: Merge request

2023-11-12 Thread tony mancill
On Thu, Nov 09, 2023 at 12:25:17PM +0200, Pushkar Kulkarni wrote:
> Submitted https://salsa.debian.org/java-team/doctorj/-/merge_requests/2
> for this.

Hello Pushkar,

Thank you for the merge request.  It looks good, so I went ahead and
merged it.

However instead of preparing an upload, I propose that we remove doctorj
from Debian.  The upstream project has been inactive for 10 years, it
has a low popcon score, and developers have other tools to accomplish
the same goal - e.g, doclint + a spellchecker.

If anyone on-list disagrees, please prepare an upload.  Otherwise, I
will file the RM bug.

Thanks,
tony


signature.asc
Description: PGP signature


Bug#1052498: Merge request

2023-11-10 Thread Pushkar Kulkarni
Please ignore the previous comment. It wasn't meant for this bug report.

On Fri, Nov 10, 2023 at 11:30 AM Pushkar Kulkarni
 wrote:
>
> I've submitted an MR[1] for this bug report.
>
> Thanks,
> Pushkar
>
> [1] 
> https://salsa.debian.org/robotics-team/eprosima-idl-parser/-/merge_requests/1



Bug#1052498: Merge request

2023-11-10 Thread Pushkar Kulkarni
I've submitted an MR[1] for this bug report.

Thanks,
Pushkar

[1] 
https://salsa.debian.org/robotics-team/eprosima-idl-parser/-/merge_requests/1



Bug#1052498: Merge request

2023-11-09 Thread Pushkar Kulkarni
Submitted https://salsa.debian.org/java-team/doctorj/-/merge_requests/2
for this.

Thanks!
- Pushkar