Updated: Switched repository for git_manager extension