The head name was previously hard coded to master. This causes pull requests on projects which do not have a master branch to fail.
Fixes #4017
Pull-Request has been closed by wattersmt
The head name was previously hard coded to master. This causes pull
requests on projects which do not have a master branch to fail.
Fixes #4017