From f1777d2c18c2ea2c338dbd14cde78b14a0742a40 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?benjamin=20melan=C3=A7on?= <ben@agaric.coop>
Date: Wed, 15 May 2024 15:54:05 -0400
Subject: [PATCH] Add needed file extension to instructions

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 46301a9..3d9128c 100644
--- a/README.md
+++ b/README.md
@@ -19,7 +19,7 @@ Currently this is the only script:
 Use it by passing in the source owner, the source repository, the issue number, the destination owner, and the destination repository, like so:
 
 ```bash
-python move_issue old-example-org old-example-repo 123 new-example-org new-example-repo
+python move_issue.py old-example-org old-example-repo 123 new-example-org new-example-repo
 ```
 
 All five parameters are needed, even if it is within the same organization.