remove definition of 'gittag', since it's not used anywhere