chiark / gitweb /
dgit: checkout: Do not leave detached HEAD!