From e0239d7f08d966d8b779ce4ea9fad2038cf0fbca Mon Sep 17 00:00:00 2001 From: Michael Jerger Date: Wed, 28 Jun 2023 08:23:03 +0200 Subject: [PATCH] fix lint --- src/main/python/ddadevops/infrastructure/infrastructure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/python/ddadevops/infrastructure/infrastructure.py b/src/main/python/ddadevops/infrastructure/infrastructure.py index 57a2465..65533cd 100644 --- a/src/main/python/ddadevops/infrastructure/infrastructure.py +++ b/src/main/python/ddadevops/infrastructure/infrastructure.py @@ -197,7 +197,7 @@ class GitApi: def push(self): return self.execution_api.execute("git push") - + def push_follow_tags(self): return self.execution_api.execute("git push --follow-tags")