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

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