Index: git_number.py |
diff --git a/git_number.py b/git_number.py |
index 7fa0398af775abfafa33caa1e803ffe508fcbf23..77005383071a9ad2e142b8859ab529583d0461e4 100755 |
--- a/git_number.py |
+++ b/git_number.py |
@@ -252,6 +252,13 @@ def main(): # pragma: no cover |
levels = [logging.ERROR, logging.INFO, logging.DEBUG] |
logging.basicConfig(level=levels[min(opts.verbose, len(levels) - 1)]) |
+ # 'git number' should only be used on bots. |
+ if not os.getenv('CHROME_HEADLESS'): |
iannucci
2014/09/02 20:39:16
if os.getenv('CHROME_HEADLESS') != '1':
dnj
2014/09/02 20:46:13
Done.
|
+ logging.error("'git-number' is an infrastructure tool that is only " |
+ "intended to be used internally by bots. Developers should " |
+ "use the 'Cr-Commit-Position' value in the commit's message.") |
+ return 1 |
+ |
try: |
if opts.reset: |
clear_caches(on_disk=True) |