[PATCH] Documentation: pull, push, packing repository and working with others.