push: Fill in, and correct, the documentation

Signed-off-by: Robin Green <greenrd@greenrd.org>