Drop dependency on the trac repo (and hence git plugin).
[git-central.git] / server / update-ensure-merged
2008-07-07 Stephen HabermanEnsure merged work.