Drop dependency on the trac repo (and hence git plugin).