Merge branch 'pregmod-master' into 'pregmod-master'

Don't spit out tons of errors if not in a git checkout

See merge request !177

sanityCheck

 #!/bin/bash
+if [ ! -d ".git" ]; then
+	#not running in git repo, so can't use git commands :-)
+	echo "No .git repo found - skipping sanity checks"
+	exit 0
+fi
 # Check for missing right angle bracket: <</if>
 git grep "<</[^>]*>[^>]" -- 'src/*'
 git grep "<<[^>]*>[^<>"$'\r]*\r'"\?$" -- 'src/*'