%title git tipsand tricks :dev:git: %date 2021-07-07 05:44 added extra commits that didnt need to be in the PR? no problem: - `git rebase -i master (interactively rebase from master)` - drop the commits you dont want - `git push origin -f` and youre done! there was supposed to be some stuff about cherry picking but i ddnt get to it