always use pull ... for now
-- Git-author: Jocelyn FIAT <jfiat@...(none)> -- Git-id: ab1d789a69720aa20448eda2961c823b26be2c08
Authored by: jocelyn_fiat 1970-01-01
Parent: [r19]
Child: [r21]