revise the doc to reflect the new github repository url