Fix #2992
Change term "Update Pull-Request" to "Submit"
What about adding a title="..." to it explaining what is being submitted?
title="..."
I think 'Submit' button under the comment box itself explains that we are adding comment to the PR.
1 new commit added
Let's keep the value as 'Update Issue' for this one.
rebased onto 315c2a1c0364519b28c670017079e90cb7c60af2
Commit 4453d52f fixes this pull-request
Pull-Request has been merged by pingou
Fix #2992
Change term "Update Pull-Request" to "Submit"