new production release, fix git push issue