Use of the withCredentials Jenkins statement to allow the injection ofthe credentials of the Git account used to push code change into theGithub repo in the AutoDeploy build of the silverpeas mobile project.