Allow to specify multiple patch names on push command-line