#!/bin/sh # create git-hash.html echo " Git Hash 
GITHUB_SHA = '$GITHUB_SHA';
" > dist/git-hash.html