diff docs/user-guide.rst @ 2057:4c195eb4d2c5

push: add extra warning about pushing to old server Pushing using old method is slow and racy. We adds warning to point this to the user. We also add inline comment to clarify the function purpose.
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
date Tue, 07 Mar 2017 14:59:00 +0100
parents 0683e3030316
children 83d2c9637e89
line wrap: on
line diff