On 6/2/24 21:37, Christof Ressi wrote:
Hi Dan,On 02.06.2024 14:40, Dan Wilcox wrote:Howdy all,sorry, I accidentally pushed a couple of commits to the master branch. I reverted them after I realized. I suppose there is no clean way to handle this otherwise.No worries, this has happened to me as well :) In the future, this is what you can do:1. GitHub: in the repo settings (temporarily) enable force pushing to master2. git reset <previous_master_head> 3. git push -f 4. GitHub: disable force pushing to master again
this is what i would do (and have done!) in the same situation as well.i was going to suggest that i could do that for dan, but miller has already pushed on top your reverting commits, so I guess somebody will have to live with eternal shame (or just keep contributing) :-)
gadsmr IOhannes
OpenPGP_signature.asc
Description: OpenPGP digital signature
_______________________________________________ Pd-dev mailing list [email protected] https://lists.puredata.info/listinfo/pd-dev
