Add documentation for github private repos#900

AndyZe wants to merge 4 commits into

ros-industrial:masterros-industrial/industrial_ci:masterfrom

AndyZe:document_github_secretsAndyZe/industrial_ci:document_github_secretsCopy head branch name to clipboard