
8 Apr
2019
8 Apr
'19
9:06 a.m.
I don't, which is the curious thing. There's just a gap above the
filter dropdown where it should be.
On Mon, 8 Apr 2019 at 13:56, Ben Gamari
Ara Adkins
writes: Hey all,
I'm trying to submit a minor MR as described on the wiki [0]. I can't seem to find the mentioned 'New Merge Request' button, however. Do I need a specific set of permissions to open MRs?
Any pointers would be appreciated.
Do you see a "New merge request" button in the top right (below the navigation bar) of this page [1]?
You can also navigate to any page under the ghc/ghc project and there should be a "New merge request" entry under the "+" menu in the navbar.
Cheers,
- Ben