Pull requests will also mark themselves as merged via the regular git merge features. This seems like a tool put in place to make some non-git using stakeholder happy.