@hsu

We've seen a problem a few times today where we try to create a pull request and it just hangs there. Specifically, the "Create pull request" button is grayed out and the little busy spinner is spinning, but nothing ever happens, after a very long wait.

The first time it happened, we merged the change manually.

The second time, I merged from the "main" branch that I had branched from and was requesting to pull back to, then tried again to create the pull request and it succeeded. In the meantime there had been some changes on the "main" branch.

Now I'm on the third time and I don't know what to do. There aren't any new changes on the "main" branch to merge in. So I'm stuck.

I'm making the priority critical because pull requests have become a major part of our workflow. They're awesome! But only when they're working...

In particular, at this moment I'm trying to create a pull request from osrf/gazebo/issue_138 to osrf/gazebo/dev.