[openclonk/f23] try fix permissions and update github mirror.

[Sérgio M. Basto]

Summary of changes:

  a67a90c... try fix permissions and update github mirror. (*)

(*) This commit already existed in another branch; no separate mail sent