Tidy sync-all up a bit, and turn on ignorecase for git repos