Huh this is weird. I merged via their UI, it is showing up as merged, but the PR is still showing up as open and there is a "checking for ability to merge automatically..." message hanging around. I'm going to leave it for a day or two and see if it resolves itself.
Huh this is weird. I merged via their UI, it is showing up as merged, but the PR is still showing up as open and there is a "checking for ability to merge automatically..." message hanging around. I'm going to leave it for a day or two and see if it resolves itself.
Great workaround for
3.7
, thanks!