Re: [Pan-users] pan repo renamed and migrated to gitlab.gnome.org

2018-05-31 Thread Duncan
Petr Kovar posted on Thu, 31 May 2018 17:53:49 +0200 as excerpted: > This is mostly a FYI for people using Pan from Git that following other > projects hosted on GNOME infrastructure, the pan2 git repo has been > renamed to pan and migrated to the GNOME GitLab instance at > gitlab.gnome.org. Than

[Pan-users] pan repo renamed and migrated to gitlab.gnome.org

2018-05-31 Thread Petr Kovar
Hi all, This is mostly a FYI for people using Pan from Git that following other projects hosted on GNOME infrastructure, the pan2 git repo has been renamed to pan and migrated to the GNOME GitLab instance at gitlab.gnome.org. Redirects have been set up by the GNOME team, so if you have the repo c