On Tue, 13 Sep 2022 11:39:08 +0100 Dave Page <dpage@pgadmin.org> wrote:
> Over the next few days we'll be migrating all the pgAdmin 4 issues in
> Redmine to Github.
It is always sad to see when open projects move from self-hosted or various externally hosted systems to a centrally
managed"all eggs in one basket" service (Microsoft or not), regardless of its reasons.
I guess this has been extensively debated, so I don't ask questions or suggest anything.
Good luck for the migration!
Peter