gerrit-push-for: Fix fro non-option arguments being ignored