allow double click on current HEAD id after git-pull