Re: pull requests

[Yuri Khan]

On Mon, 30 Mar 2020 at 19:04, Dmitry Gutov <address@hidden> wrote:

> I wasn't able to 'git clone'
>
>    https://gitlab.com/eufs/eufs_sim/-/merge_requests/38

You do not clone a branch. You clone a repository and check out a
merge request branch from it. And that branch is in a namespace that
does not get fetched by default, you have to do some [non-trivial
dance][1] to fetch it.

[1]: 
https://docs.gitlab.com/ee/user/project/merge_requests/reviewing_and_managing_merge_requests.html#checkout-merge-requests-locally

    $ git clone https://gitlab.com/eufs/eufs_sim
    $ git fetch origin merge-requests/38/head:mr-38
    $ git checkout mr-38

There is no possibility that somebody will do that by mistake and
assume an official distribution.