Bug#1054574: adminer seems dead upstream, switch to adminerevo ?

2024-01-25 Thread Alexandre Rossi
Hi, Status update: the work is done. src:adminerevo and packaged dependency are awaiting sponsorship. https://mentors.debian.net/package/libjs-jush/ https://mentors.debian.net/package/adminerevo/ Thanks, Alex

Bug#1054574: adminer seems dead upstream, switch to adminerevo ?

2023-10-31 Thread Chris Lamb
Hi Alexandre, > 1) new package src:adminerevo providing adminer and removal of src:adminer > > Advantages : explicit branding > > 2) src:adminer using adminerevo source and building adminer pkg > > Advantages : easy upgrade path (no Provides:, Conflicts:, no conffile >

Bug#1054574: adminer seems dead upstream, switch to adminerevo ?

2023-10-31 Thread Alexandre Rossi
Hi, > according to git activity and comments in the issues, adminer seems dead > upstream. > > Part of the community have forked it into adminerevo: > > https://docs.adminerevo.org/ > > Would you consider packaging that instead of adminer ? Yes, I'm thinking about it and I'm wondering on the

Bug#1054574: adminer seems dead upstream, switch to adminerevo ?

2023-10-26 Thread RĂ©mi Letot
Package: adminer Severity: wishlist X-Debbugs-Cc: hob...@poukram.net Dear Maintainer, according to git activity and comments in the issues, adminer seems dead upstream. Part of the community have forked it into adminerevo: https://docs.adminerevo.org/ Would you consider packaging that