bot_git: GitDir: more cleanup