Use the Git mirror of Gundo