diff --git a/resources/user-data.sh b/resources/user-data.sh index 3b3ddac..cbc7e9a 100644 --- a/resources/user-data.sh +++ b/resources/user-data.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -export SOURCEGRAPH_VERSION=3.17.0 +export SOURCEGRAPH_VERSION=3.17.1 export USER_HOME=/root export SOURCEGRAPH_CONFIG=/etc/sourcegraph export SOURCEGRAPH_DATA=/var/opt/sourcegraph