eins78’s Twitter Archive—№ 6,210

munin $ git reset --hard origin master && git cherry-pick d0 && git push -f origin HEAD:the-pr-branch # or if e8 is after d0 just $ git push -f origin d0:the-pr-branch