make executable

paulgessinger · Aug 19, 2023 · a2bec20 · a2bec20
1 parent 4880698
commit a2bec20
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/CI/commands/pr_commands.py b/CI/commands/pr_commands.py