chiark / gitweb /
Be more specific when logging repository deletes