It’s a github thing
IMHO if I am submitting something “push” does seem more appropriate.
Why is it vagrant up but not vagrant down?
Or if vagrant halt why not vagrant start?
Why do arrays start at “0” instead of “1”?
Ah, the logic of techies is more than enough to confound 