Support 'make push' for non-master branches#75

egavrin merged 1 commit intomasterjerryscript-project/jerryscript:masterfrom

Ruben-make-push-support-branchesjerryscript-project/jerryscript:Ruben-make-push-support-branchesCopy head branch name to clipboard