Posts   |   About

Addressing GitHub Problems: "What PRs are open for this issue?"

When looking at a GitHub issue, I often need to know, “What PRs are open for this issue?” I wrote the GitHub Issue Hoister add-on to address my problem.

It hoists those “mcomella added a commit that references this issue” links to the top of an issue page to make them easier to access and see at a glance:

An example of the Issue Hoister in use

Check out the brief tutorial for caveats and more details, or just download it off AMO. For bugs/issues, file them on github.

This post is written by Michael Comella, a developer at Mozilla currently working on Firefox performance.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Creative Commons License