I just found game-related files there - shouldn't we import those as well into the game repositories, or will there be some other repo like debian.git where this goes into? -- Wolfgang