Chromium Code Reviews| 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) |