commit_and_push: do not pass branch

Branch can be implicitly determined via the repo.

scripts/common.py

@@ -158,9 +158,10 @@ def list_commits(commits):
 
 
 def commit_and_push(
-    project: Project, repo: Repo, branch, message, name, email, less_verbose=False
+    project: Project, repo: Repo, message, name, email, less_verbose=False
 ):
     """Commit and push to a repo branch"""
+    branch = repo.head.reference
     author = Actor(name, email)
     repo.index.commit(message, author=author, committer=author)
     print(repo.git.log("--oneline", "-n", "5"))

scripts/deploy_gitlab_ci.py

@@ -347,7 +347,6 @@ def main():
     integration_commit = common.commit_and_push(
         manifest_project["project"],
         manifest_project["repo"],
-        manifest_project["branch"],
         manifest_project["message"],
         gitlab.user.username,
         gitlab.user.email,

scripts/integrate_into_manifest.py

@@ -178,7 +178,6 @@ def integrate_into_manifest(
         manifest_revision = common.commit_and_push(
             manifest_project,
             manifest_repo,
-            integration_branch,
             message,
             gitlab.user.username,
             gitlab.user.email,

scripts/update_submodule.py

@@ -383,7 +383,6 @@ def update_submodule_and_include_ref(
             integration_commit = common.commit_and_push(
                 project,
                 project_repo,
-                integration_branch_name,
                 message,
                 gitlab.user.username,
                 gitlab.user.email,