[PATCH] Documentation: update tutorial to talk about push.