WIP set github commit status via API#6

rtburns-jpl wants to merge 3 commits intoisce3-testing:developisce3-testing/isce3-circleci-poc:developfrom

rtburns-jpl:github-statusrtburns-jpl/isce3-circleci-poc:github-statusCopy head branch name to clipboard