Revert "use github mirror for undo-tree"

This reverts commit 29d0961578539c8a02d0147434ab1097d3867d70.