remove trac sync now that we aren't using the git trac plugin