GitRepositoryConfig: add missing getter/setter for lockManager