On Tue, Dec 03, 2019 at 11:03:31AM -0500, Ben Keene wrote: > So my last question would be, should I open a different PR on gitgitgadget? > I can cherry-pick my changes into another branch and restart my submission? You can reuse the same PR. Just force-push to overwrite your old commits and then you'll be able to `/submit` again to send another revision.
