chiark / gitweb /
merge the script's history into the generated history