document new GitHub integration features ...#579

Open

migueldiascosta wants to merge 1 commit intoeasybuilders:developfrom

migueldiascosta:update_github_docs

Commits on Dec 18, 2019

document new GitHub integration features --new-branch-github, --new-pr-from-branch, --update-branch-github, --sync-branch-with-develop and --sync-pr-with-develop
migueldiascosta
committed