From d9a645b42300a40f9de6784c8fcf61b4e9d0af48 Mon Sep 17 00:00:00 2001
From: Jose Luis Rivero <jrivero@osrfoundation.org>
Date: Wed, 4 Sep 2024 19:25:38 +0200
Subject: [PATCH] Make pyright happy

Signed-off-by: Jose Luis Rivero <jrivero@osrfoundation.org>
---
 gzdev.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gzdev.py b/gzdev.py
index 523442a..d54d6ca 100755
--- a/gzdev.py
+++ b/gzdev.py
@@ -26,6 +26,7 @@
 from docopt import docopt
 
 if __name__ == '__main__':
+    assert __doc__ is not None  # make pyright happy
     args = docopt(__doc__, version='gzdev-core 0.1.0', options_first=True)
     cmd = args['<command>']
     is_valid = {'ign-docker-env': True,