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
