git: rename "git_operation_disabled" to "operations_disabled"
Prepare for other version control systems and remove "git" from the names. Signed-off-by: Henning Schild <henning.schild@siemens.com>
This commit is contained in:
committed by
Daniel Wagner
parent
9210fe57b4
commit
dc8d15c3be
@@ -211,7 +211,7 @@ class Config:
|
||||
rep = Repo(url=url,
|
||||
path=path,
|
||||
layers=layers)
|
||||
rep.disable_git_operations()
|
||||
rep.disable_operations()
|
||||
else:
|
||||
path = path or os.path.join(self.kas_work_dir, name)
|
||||
rep = Repo(url=url,
|
||||
|
Reference in New Issue
Block a user