1. 2
  1.  

  2. 6

    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.