Support git --push-option in order to use copybara with GitLab#214

dpoluyanov wants to merge 1 commit intogoogle:mastergoogle/copybara:masterfrom

dpoluyanov:feat/add-support-for-push-optionsdpoluyanov/copybara:feat/add-support-for-push-optionsCopy head branch name to clipboard