chiark / gitweb /
Fix the branch renaming to also rename the reflogs