Trigger 1.0 release to see if jenkins can cope with build and release branch pushes to github