github_modified_files.py: use python3

cms-sw · Apr 17, 2024 · 7992c1c · 7992c1c
1 parent ddd83b7
commit 7992c1c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/github_modified_files.py b/github_modified_files.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 """
 Gets list of files that will be modified by all PRs for the branch.
 Dumps to file to be loaded by other script.