Pulling before pre-push testing instead of just before pushing in ./tools/push.sh.
Pulling before pre-push testing instead of just before pushing in ./tools/push.sh.

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