+ git config --local credential.helper !f() { echo username=$GIT_AUTH_USR; echo password=$GIT_AUTH_PSW; }; f + git push origin HEAD:master To https://github.com/Silverpeas/Silverpeas-Project-Web-Site e71ec2e4..ea1e57d0 HEAD -> master
+ git config --local credential.helper !f() { echo username=$GIT_AUTH_USR; echo password=$GIT_AUTH_PSW; }; f + git push origin HEAD:master To https://github.com/Silverpeas/Silverpeas-Project-Web-Site e71ec2e4..ea1e57d0 HEAD -> master