* build: rewrite push-patch to use the github API instead of local git commits to ensure commits are signed * again (cherry picked from commit a21afc3e45) * use pr head ref (cherry picked from commit 0edcc985fa)
a21afc3e45
0edcc985fa