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