Extensions by dejorrit

GitHub Easy Stack

🧑‍💻 Developer Tools

Groups stacked pull requests in GitHub pull request lists, with fold and progress per stack.