It would be awesome if the Pull Request popover at the top supported merge queue. As in, show that the PR is in the merge queue, and possibly details about it (position, estimated time remaining). I think you can fetch the info from the merge queue GraphQL api.
It would be awesome if the Pull Request popover at the top supported merge queue. As in, show that the PR is in the merge queue, and possibly details about it (position, estimated time remaining). I think you can fetch the info from the merge queue GraphQL api.