Update latest release to 3.12.7 (#43)

uwedeportivo · web-flow · commit 7ca595a98a81 · 2020-02-12T16:29:50.000-08:00
diff --git a/resources/user-data.sh b/resources/user-data.sh
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-export SOURCEGRAPH_VERSION=3.12.4
+export SOURCEGRAPH_VERSION=3.12.7
 export USER_HOME=/root
 export SOURCEGRAPH_CONFIG=/etc/sourcegraph
 export SOURCEGRAPH_DATA=/var/opt/sourcegraph
