api: yet another word improving in deploy output

Ideas come just after you type "git push" and hit return :-)