bnoordhuis: git co HEAD you mean?