Provide a management tool to resync git with db.

In some cases the db is leading and deleted articles need to be pruned from git.