Use pmos.org for shortlinks
Since we have it, it would be awesome to use this domain as a way to quickly access repos, issues, and merge requests. As well as provide an abstraction over GitLab specific URLs (e.g. to the issue tracker) so that public links don't potentially go dead.
What I'm thinking is:
- pmos.org/pmaports -> gitlab.postmarketos.org/postmarketOS/pmaports
- pmos.org/pmaports/issues -> https://gitlab.com/postmarketOS/pmaports/-/issues
- pmos.org/pmaports/issues/new -> https://gitlab.com/postmarketOS/pmaports/-/issues/new
And the same for MRs, for all projects under our namespace.
Additionally, we currently have a bot in matrix that expands tokens like pma!1234 to be MR 1234 on pmaports (same for pma#1234 for issues). Being able to visit this in a browser as pmos.org/pma!1234 would be quite nice and provide an easy way to link to issues without relying on the bot.