This repository was archived by the owner on Nov 28, 2024. It is now read-only.

Description
Not sure whether to just implement this myself first, since I'm not sure if it matches your wishes for the tool, but if so let me know and I might just do that.
In many cases I find myself wanting to just refresh a pull request without changing the text, and would be nice to have an easy way to do so without having to edit the description in the editor.