ops: add ops scripts

ops/lint.sh

@@ -0,0 +1,16 @@
+#!/usr/bin/env sh
+
+set -e
+
+SCRIPT_DIR=$(cd "$(dirname "$0")" && pwd)
+SERVER_ROOT="$SCRIPT_DIR/.."
+cd "$SERVER_ROOT"  # Run script from server directory
+
+./ops/build.sh --if-needed
+GOLANGCI="./bin/golint"
+
+echo "Linting $(go list ./... | wc -w) packages"
+
+# Catches config keys in the wrong place, which are otherwise silently ignored.
+$GOLANGCI config verify
+$GOLANGCI run