[GoblinSlayer]

I think they have the same interface. Pull requests are renamed to merge requests, that's all the difference I see. Wait for github to reshuffle the ui in a redesign churn.