sphinxtogithub: pylint updates
commitf2a35a2dee9be8cd3a4bda35c117b16b1a963644
authorDavid Aguilar <davvid@gmail.com>
Fri, 10 Aug 2018 08:38:26 +0000 (10 01:38 -0700)
committerDavid Aguilar <davvid@gmail.com>
Fri, 10 Aug 2018 09:07:21 +0000 (10 02:07 -0700)
tree8cb07b76f6b34b4bd043d07e143a69fbeb9c98b7
parent9126d6274e08f64ef12da3bb85e227507c8ce87a
sphinxtogithub: pylint updates

I would have preferred to not touch this file, but upstream hasn't
changed in ages.

Signed-off-by: David Aguilar <davvid@gmail.com>
extras/sphinxtogithub/sphinxtogithub.py