Add precisions for the push command