add commands about how to push to server