Add small changes to the doc. The workflow scope require for push code to github mirror in case the project use the github action compatibility ui.