Changes to our Git infrastructure

[Sven Brauch]

> Noooo not scratch repos. I can see clones being useless as branches
> in the actual repos should be used instead, but I personally consider
> scratch repos a very useful thing, for example to host simple projects
> that shouldn't be part of any main/big module - they are much more
> easier to set up than proper repositories - mostly because they don't
> require manual sysadmin actions (and fileing tickets by the developer),
> it's a personal git space readily available.
+1, I also think scratch repos are useful and shouldn't be removed
mostly for the reasons Martin quoted.