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

[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
cloned, no action should be necessary and you can continue using your
clone.

You can update your clone config with the new URL:

git remote set-url origin address@hidden:GNOME/pan.git

To clone the repo:

git clone address@hidden:GNOME/pan.git

The rationale behind migrating to GitLab is that the new platform allows
for a GitHub-like contribution workflow with forking and submitting merge
requests, so there is no need to attach patches in Bugzilla or email
anymore.

The GitLab workflow:

Sign into GitLab, you can use your existing GitHub, GitLab.com or Gmail
account: 

https://gitlab.gnome.org/users/sign_in

Fork the pan repo:

https://gitlab.gnome.org/GNOME/pan/forks/new

Make your changes and submit a new merge request:

https://gitlab.gnome.org/GNOME/pan/merge_requests

Thaẗ́'s it!

Bug reports in Bugzilla are also going to be migrated to GitLab at a later
date. I'll also update the pan website with the new information when
everything is complete.

Thanks,
pk