#!/usr/bin/env bash
# Rewrite build.txt to the current commit. Run as part of committing, so the
# marker in the sidebar always names the build that is actually deployed.
# Wired up as a git post-commit hook when the repo is set up locally.
set -e
cd "$(dirname "$0")"
git rev-parse --short HEAD > build.txt