user-manual: failed push to public repository