Changes to our Git infrastructure

[Ben Cooksley]

Hi all,

Based on the current feedback:

1) It seems people see no use in clone repositories.
2) Little commentary has been made on the merits of scratch
repositories, with some dismissing them as pointless.

Therefore sysadmin proposes that both clone and scratch repositories
be eliminated as a concept with the next iteration of our Git
infrastructure.

We've now begun the process of shortlisting candidate software for
evaluation, so those who haven't yet responded are urged to do so
soon.

Thanks,
Ben