chiark / gitweb /
Allow picking of one commit id