chiark / gitweb /
Dgit: Introduce in_workarea and fresh_workarea