How to checkout a remote git branch using History panel

Hello,

I'm working with Node-RED (1.3.6) in project mode. My project is linked with a GitLab repository.

How can I checkout a git branch that has been created in GitLab (from a Merge Request)?

I have only the possibility to create a local branch, on the current one. If I do a "Pull", the remote branch does not appears in the local branches list.

So for the moment, the only way that I've found is to do git checkout my-branch in a console before starting working on it in editor. But it is not really user-friendly.

Thanks

It may be a bug in the History UI, I will post a GitHub issue in Node-RED