]> granicus.if.org Git - graphviz/commit
projects / graphviz / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5ed8ce) | patch
CI deploy.py: remove '--force' command line option
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Sun, 11 Sep 2022 16:32:39 +0000 (09:32 -0700)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Mon, 12 Sep 2022 15:03:58 +0000 (08:03 -0700)
commitfa6f54b563ceb9508dd36f0a5de08061602cbd56
treeff3a33e2b88ac755d386009bec9b690df1d9c6betree | snapshot
parentc5ed8cef51a7b6443ac7eb0e77f0da084be75706commit | diff
CI deploy.py: remove '--force' command line option

Since its introduction, this option has not found a use case. Lets remove it to
decrease the number of things to think about in this script.
ci/deploy.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.