I’m creating a force-merge plugin that would merge pullrequests even if there are vetos preventing it.
To do so i create merge command by
ScmService and publish a
RepositoryPushEvent. It works just fine, but the result is not seen on the pull request page until I manually reload this page. I added a page reload in my js part of plugin and got another problem, If a repository is small, everything works. But if I use my force-merge in a huge repo with 150 open pull requests i either see no changes or get an error dialog with “Pull request is already merged” message.
What is a right way to tell pull request page that the pull request is already merged? Or can I get the moment when I can just reload page and see the right pull request state?