Fix OpenPGP Applet vs. Tails ticket tracking workflow
Originally created by @intrigeri on #14982 (Redmine)
Upstream OpenPGP Applet uses this Redmine project to track its tickets. #6398 (closed) has shown that if the same semantics are used for OpenPGP Applet as the ones we use for Tails, ticket state gets too easily messed up: in this case, a ticket was “fix committed” upstream but not in Tails.
So either OpenPGP Applet should avoid using ticket status semantics differently than Tails tickets, or OpenPGP Applet should migrate to another ticket tracker (e.g. another project on this Redmine instance, of some GitLab instance somewhere).
I propose we move the OpenPGP Applet project (tickets, Git & merge requests handling) to https://gitlab.com/.