Well, it is a double click here on github pull requests web interface. I can do it because it is nothing big, I wanted to avoid this extra loop in the future and get you direct access.

—
Reply to this email directly or view it on GitHub.