chore: minor tweaks to meta info of argo python package (#152)

GaloisInc · Feb 9, 2021 · 9790224 · 9790224
1 parent 714a493
commit 9790224
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 5 deletions.
diff --git a/python/mypy.ini b/python/mypy.ini
@@ -8,6 +8,6 @@ warn_unused_ignores = True
 
 # Per-module options:
 
-[mypy-argo.*]
+[mypy-argo_client.*]
 disallow_untyped_defs = True
 warn_unreachable = True
diff --git a/python/setup.cfg b/python/setup.cfg
@@ -1,7 +1,7 @@
 [metadata]
 name = argo-client
 version = 0.0.1
-url = https://github.com/GaloisInc/argo/python
+url = https://github.com/GaloisInc/argo/tree/master/python
 author = Galois Inc.
 author_email = andrew@galois.com
 license = BSD 3-Clause License

diff --git a/python/setup.py b/python/setup.py