add sender

.github/workflows/pr_commands.yml

@@ -14,4 +14,4 @@ jobs:
         run: |
           echo "${{ github.event.comment.body }}" > body.txt
           cat body.txt
-          CI/commands/pr_commands.py --pr ${{ github.event.issue.number }} --body body.txt
+          CI/commands/pr_commands.py --pr ${{ github.event.issue.number }} --body body.txt --sender ${{ github.event.comment.sender }}

CI/commands/pr_commands.py

@@ -1,5 +1,17 @@
 #!/usr/bin/env python3
+from pathlib import Path
 
-import sys
+import typer
 
-print(sys.argv)
+
+def main(
+    pr: int = typer.Option(),
+    body: Path = typer.Option(),
+    sender: str = typer.Option(),
+):
+    print("pr:", pr)
+    print("body:", body)
+    print("sender:", sender)
+
+
+typer.run(main)