push with origin and branch

webrecorder · May 4, 2023 · b49e9e6 · b49e9e6
1 parent 8c9732c
commit b49e9e6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/respec_action.py b/respec_action.py
@@ -182,7 +182,7 @@ def publish(branch_name, html_files):
     repo.index.commit('Latest ReSpec HTML')
 
     # push to the origin (assumed to be the first remote)
-    repo.git.push(force=True)
+    repo.git.push('origin', branch_name, force=True)
 
 if __name__ == "__main__":
     parser = argparse.ArgumentParser()