[Release-team] Empty or obsolete git repos--can we get rid of some of them?