chiark / gitweb /
git fetching: Do not crash if nothing we wanted to fetch exists