]> granicus.if.org Git - graphviz/commit
projects / graphviz / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9df089a) | patch
port deploy script from os.path to pathlib
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Tue, 29 Jun 2021 02:39:40 +0000 (19:39 -0700)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Mon, 5 Jul 2021 04:26:47 +0000 (21:26 -0700)
commitf07b48a2e90c2f8e17535d08643846c5c50c92cb
tree0face2a4ec393e89adc9e6b997d13ecd5fc5528btree | snapshot
parent9df089a5e05d045fdd7085096186f114e8ec852ecommit | diff
port deploy script from os.path to pathlib

While this does not look like a win in terms of conciseness, I think the trade
off is worth it for stronger typing within this script. It is hard to test this
script without actually running a deployment, so we heavily rely on Pylint to
validate what it is doing. Giving Pylint some more hints as to what is going on
seems like a good idea.
ci/deploy.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.