Pointed undo-tree to Github mirror