[02:57:04] I messed up my PRs. Ooops gonna redo them in a few hours [03:01:35] You could do an interactive rebase and drop that commit from the PR [03:03:47] lazy me would just copy the 5 lines of change, reset to upstream and do it again [03:03:52] [1/6] ``` [03:03:52] [2/6] git checkout ext-ArticleFeedbackv5-permission [03:03:53] [3/6] git rebase -i HEAD~2 [03:03:53] [4/6] ```Change the first line from `pick` to `drop` ``` [03:03:53] [5/6] git push --force [03:03:54] [6/6] ``` [03:04:07] I guess lol [03:04:25] Interactive rebase is one hell of a drug [03:24:24] [1/2] There are lots of ways to save it. [03:24:25] [2/2] I would probably create another branch with `git switch -c`. Edit out the extraneous change, and then `git commit -a --amend`. [03:56:13] I'd just send some unpaid ai agent to do it [03:56:23] I make poorly paid ai agents fix all my merge conflicts [03:56:31] usually it causes more conflicts but hey ho [03:56:42] then you send another agent :3 [09:11:14] the epitome of wisdom [09:11:46] I don't commit to my main branch, I let that one follow upstream [13:13:12] since this patch (and a few other updates since then, including an update to upgrade Bootstrap) has been merged, can Medik be updated site-wide?