@emvondo: if you want to change the commit of the PR, you can update on your local copy and force push to the same git branch.

Thanks Daniel.

its done.

—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.