master seems better relevant for git than HEAD (don't hesitate git experts out there to change back if I'm wrong)