The linux-5.17.y tag looks bogus.

Hi,

I just noticed that the stable repository has the linux-5.17.y tag and no branch with the linux-5.17.y name. That tag looks like a copy of Linus' v5.17.

I guess this is a mistake. On my side git refused to push the linux-5.17.y branch because it already had a tag with the same name.

Could you please remove it?

Sebastian