completion: add some missing options to `git push`