Started by user olaf@x100.de
Cleaning the workspace because project is configured to clean the workspace before each build.
Checkout:workspace / /home/hudson/genie.gemini/.hudson/jobs/gemini-blueprint-discard-branch/workspace - hudson.remoting.LocalChannel@d79f753
Using strategy: Default
Git Exe: git
Checkout:workspace / /home/hudson/genie.gemini/.hudson/jobs/gemini-blueprint-discard-branch/workspace - hudson.remoting.LocalChannel@d79f753
Cloning the remote Git repository
Cloning repository origin
Fetching upstream changes from file:///gitroot/gemini.blueprint/org.eclipse.gemini.blueprint.git/
Commencing build of Revision eff2b4816e59c311904f01e1784e92de6ce3682f (origin/master)
Checking out Revision eff2b4816e59c311904f01e1784e92de6ce3682f (origin/master)
No change to record in branch origin/master
[workspace] $ /bin/sh -xe /tmp/hudson1947476473088981442.sh
+ '[' bugfix/518488 '!=' master ']'
+ git push origin :bugfix/518488
warning: unable to unlink logs/refs/heads/bugfix/518488: Permission denied
To file:///gitroot/gemini.blueprint/org.eclipse.gemini.blueprint.git/
 - [deleted]         bugfix/518488
Finished: SUCCESS