Merge branch 'develop' into pg_azure_repo_change

citusdata · Sep 7, 2023 · 9c82c56 · 9c82c56
2 parents 61bc7da + fe19800
commit 9c82c56
Show file tree

Hide file tree

Showing 3 changed files with 44 additions and 0 deletions.
diff --git a/citus_dev/Pipfile b/citus_dev/Pipfile
@@ -0,0 +1,12 @@
+[[source]]
+url = "https://pypi.org/simple"
+verify_ssl = true
+name = "pypi"
+
+[packages]
+docopt = "==0.6.2"
+
+[dev-packages]
+
+[requires]
+python_version = "3.10"
diff --git a/citus_dev/Pipfile.lock b/citus_dev/Pipfile.lock
diff --git a/citus_dev/citus_dev-pipenv b/citus_dev/citus_dev-pipenv
@@ -0,0 +1,4 @@
+#!/usr/bin/env bash
+realfile=$(realpath $0)
+dir=$(dirname $realfile)
+pipenv-shebang "${dir}/citus_dev" "$@"