update doc after migration to github.