Fixing exit code of tools/push.sh
Fixing exit code of tools/push.sh

tilmannOSG/jerryscript,grgustaf/jerryscript,grgustaf/jerryscript,jack60504/jerryscript,glistening/jerryscript,LaszloLango/jerryscript,bsdelf/jerryscript,martijnthe/jerryscript,loki04/jerryscript,LaszloLango/jerryscript,glistening/jerryscript,grgustaf/jerryscript,bzsolt/jerryscript,robertsipka/jerryscript,yichoi/jerryscript,slaff/jerryscript,tilmannOSG/jerryscript,LaszloLango/jerryscript,jack60504/jerryscript,LeeHayun/jerryscript,glistening/jerryscript,gabrielschulhof/jerryscript,bsdelf/jerryscript,glistening/jerryscript,bsdelf/jerryscript,bsdelf/jerryscript,robertsipka/jerryscript,LeeHayun/jerryscript,bzsolt/jerryscript,bzsolt/jerryscript,dbatyai/jerryscript,robertsipka/jerryscript,dbatyai/jerryscript,akosthekiss/jerryscript,LeeHayun/jerryscript,LaszloLango/jerryscript,slaff/jerryscript,akosthekiss/jerryscript,martijnthe/jerryscript,tilmannOSG/jerryscript,loki04/jerryscript,loki04/jerryscript,bsdelf/jerryscript,jerryscript-project/jerryscript,jerryscript-project/jerryscript,zherczeg/jerryscript,jerryscript-project/jerryscript,slaff/jerryscript,gabrielschulhof/jerryscript,loki04/jerryscript,gabrielschulhof/jerryscript,yichoi/jerryscript,dbatyai/jerryscript,slaff/jerryscript,glistening/jerryscript,robertsipka/jerryscript,zherczeg/jerryscript,jack60504/jerryscript,robertsipka/jerryscript,bzsolt/jerryscript,robertsipka/jerryscript,glistening/jerryscript,bzsolt/jerryscript,grgustaf/jerryscript,jerryscript-project/jerryscript,zherczeg/jerryscript,zherczeg/jerryscript,bsdelf/jerryscript,jack60504/jerryscript,yichoi/jerryscript,jack60504/jerryscript,martijnthe/jerryscript,yichoi/jerryscript,tilmannOSG/jerryscript,tilmannOSG/jerryscript,martijnthe/jerryscript,akosthekiss/jerryscript,LeeHayun/jerryscript,LaszloLango/jerryscript,jerryscript-project/jerryscript,loki04/jerryscript,yichoi/jerryscript,loki04/jerryscript,grgustaf/jerryscript,akosthekiss/jerryscript,gabrielschulhof/jerryscript,LeeHayun/jerryscript,dbatyai/jerryscript,grgustaf/jerryscript,martijnthe/jerryscript,zherczeg/jerryscript,slaff/jerryscript,dbatyai/jerryscript,martijnthe/jerryscript,gabrielschulhof/jerryscript,jack60504/jerryscript,akosthekiss/jerryscript