git-push: fix bad combination of --change and --branch
#523
| Job | Run time |
|---|---|
| 4m 24s | |
| 5m 3s | |
| 9m 27s |
--change and --branch
#523
| Job | Run time |
|---|---|
| 4m 24s | |
| 5m 3s | |
| 9m 27s |