soerenthomsen
commented
3 years ago No. The easiest is to go to the open PR and edit file there. GitHub will suggest to commit to the same patch as a default choice.
Closed gkrahmann closed 3 years ago
soerenthomsen
commented
3 years ago No. The easiest is to go to the open PR and edit file there. GitHub will suggest to commit to the same patch as a default choice.
do I have to PR each single commit when I work directly on main ?