SmartGitHg state file