[Development] Qt 5.12.12 branches disappeared from code.qt.io?

[Edward Welbourne]

On Wednesday, 11 January 2023 15:29:11 PST Jon Trulson wrote:
>>> Will these be returning at some point?

On 1/12/23 01:24, Thiago Macieira wrote:
>> No.

Christian Kandeler (12 January 2023 09:24) asked:
> Out of curiosity: Who gains what by removing branches?

On Gerrit it makes sense; we should kill dead branches there.  I suspect
the code.qt.io deletions were more by accident than design, probably the
mirroring scripts doing something that made no difference until December
(when I believe the old branches were deleted).  I see that github
retains old branches still.

	Eddy.