Converted authoritative repository to git.