Code

checkout: make advice when reattaching the HEAD less loud