chiark / gitweb /
update: find best merge source