Re: HEADS-UP: Redmine -> Github issue migration

2022-09-15 Thread Dave Page
All, The migration has now completed. Please log or update any tickets at https://github.com/postgres/pgadmin4/issues Any updates to tickets on Redmine from now on (until we can figure out how to make it read-only) may not be seen. On Tue, 13 Sept 2022 at 11:39, Dave Page wrote: > All, > > Ove

Re: HEADS-UP: Redmine -> Github issue migration

2022-09-14 Thread Dave Page
Hi On Tue, 13 Sept 2022 at 12:26, grin wrote: > On Tue, 13 Sep 2022 11:39:08 +0100 Dave Page 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 hos

HEADS-UP: Redmine -> Github issue migration

2022-09-13 Thread Dave Page
All, Over the next few days we'll be migrating all the pgAdmin 4 issues in Redmine to Github. For various reasons (mostly the Github API), this is a slow process. When each issue is migrated, a prominent note will be added to the bottom of the Redmine issue warning that it has been migrated, alon