Remove the necessity to run gitinfo.sh

It is anoying when setting up a dev environment and should not be strictly necessary.