[QGIS-Developer] Issues ID mapping (was: Post github issues migration clean ups - some proposals)

[Sandro Santilli]

On Fri, May 31, 2019 at 01:55:48AM +0200, Jürgen E. Fischer wrote:
> Hi Sandro,
> 
> On Thu, 30. May 2019 at 09:36:52 +0200, Sandro Santilli wrote:
> > You can see the commit log references #30003 issue number.
> > Gitea was configured to transform that into a link to issues.qgis.org,
> > but such link is a "not found" page:
> > 
> >   https://issues.qgis.org/issues/30003
> 
> You can use https://issues.qgis.org/github/30003 now - that will take you to
> the corresponding github ticket if there is a match or otherwise just the
> github ticket with that number.

It gives me a 404 at the moment  (kind of, it tells me
"The page you were trying to access doesn't exist or has been removed.")

How did you implement it  ?

--strk;