Hi! Ja, das ist erwartetes Verhalten. Es gab in der Vergangenheit die Issues in den separaten Repos, aber es ist nicht immer eindeutig, wo sie hingehören. Und verschieben kann Gitea leider noch…
👍 Ich hatte dafür schon mal einen PR aufgemacht (oben verlinkt).
Ich bilde mir ein, dass das Problem zwischenzeitlich dadurch entschärft war, dass es eine automatische Weiterleitung gab,…
typing_extensions
Danke für's Mergen! Das Problem auf dem dev-Server ist damit tatsächlich behoben.
typing_extensions
typing_extensions
Das waren alles die main-Branches, es kam nämlich auch mit den letzten Builds aus der Registry vor, wenn ich versucht habe, das auf dem dev-Server auszurollen.
Ich glaube, der Unterschied lag…
typing_extensions
Thanks! Could you please replace the Narrow No-Break Space unicode character with its HTML entity  
?