Use git push -q instead of > /dev/null