Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Because jenkins works on a detached HEAD, the git command that we were using to try to push the commits back up to github was invalid. This commit changes the script to use an environment variable (populated by a Jenkins build parameter) to determine the correct branch name.
- Loading branch information