This looks as if it were copied from the CVS one. Does HEAD make sense in a Git checkout anyway? The idea (behind CVS) was to not write out the 'default' one for everything that needed doing e.g. default to HEAD. Should Git default to 'master' here instead?