Merging a topic results in topic merged but merge request still open
With 0.4.2 we get the following behaviour :
Pushed topic1 and topic2 to a new repo. Modifying the history of topic1 on one side, I try to merge topic2 through the web interface. This says it can't do it. After the 6s wait it refreshed to show :
I then go to the project page, the change of topic2 has been published correctly. When pulling the repo topic2 has been published.
Merge request is still open an show the error above.