patch_branch: tweak option type

OCA · May 1, 2024 · d73f2ea · d73f2ea
1 parent 0ade0b7
commit d73f2ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/patch_branch.py b/tools/patch_branch.py
@@ -10,7 +10,7 @@
 
 @click.command()
 @click.argument("branch")
-@click.argument("patch-file")
+@click.argument("patch-file", type=click.Path(exists=True, dir_okay=False))
 def main(branch, patch_file):
     patch_file = os.path.abspath(patch_file)
     for repo in get_repositories():