diff --git a/github_modified_files.py b/github_modified_files.py index 3cdb25f6283f..9b40aca37209 100755 --- 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.