diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/publish_toolstate.py | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/publish_toolstate.py b/src/tools/publish_toolstate.py index 5ce19cf2b78..323f8118168 100755 --- a/src/tools/publish_toolstate.py +++ b/src/tools/publish_toolstate.py @@ -120,6 +120,11 @@ if __name__ == '__main__': sys.exit(0) print(message) + + if not github_token: + print('Dry run only, not committing anything') + sys.exit(0) + with open(save_message_to_path, 'w') as f: f.write(message) |