#!/bin/bash # run this script in a git directory to get the shortened hash, eg for # discussing current build on github git log --pretty=format:'%h' -n 1
