Modif push.default in gitconfig
Merging release-0.3 into master branch