Make web ide available as editing option in merge request diff

Problem to solve

Currently only the normal editing function is available on files within the merge request diff. This makes it harder than necessary to be able to use the web ide for that specific file.

Target audience

Persona: Software developer

Further details

Proposal

Make the web ide editing feature available next to the normal edit button for files in the merge request diff

What does success look like, and how can we measure that?

Links / references