Re: [PATCH] doc/develop/sending_patches.rst: Reword where our git tree is slightly