chiark / gitweb /
update: force checkout .gitlab-ci.yml when updating git mirrors