chiark / gitweb /
Add the '--undo' option to 'refresh'