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.
In any case, they are small updates to the dialog/preference section headers regarding case usage (for consistency). In this branch now I "un-revert" the now reverted commits on the master branch. Ugg, apologies -> https://github.com/pure-data/pure-data/pull/2332
-------- Dan Wilcox danomatika.com http://danomatika.com/ robotcowboy.com http://robotcowboy.com/
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 master
2. git reset <previous_master_head>
3. git push -f
4. GitHub: disable force pushing to master again
Cheers,
Christof
In any case, they are small updates to the dialog/preference section headers regarding case usage (for consistency). In this branch now I "un-revert" the now reverted commits on the master branch. Ugg, apologies -> https://github.com/pure-data/pure-data/pull/2332
Dan Wilcox danomatika.com http://danomatika.com robotcowboy.com http://robotcowboy.com
Pd-dev mailing list Pd-dev@lists.iem.at https://lists.puredata.info/listinfo/pd-dev
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:
- GitHub: in the repo settings (temporarily) enable force pushing to
master
git reset <previous_master_head>
git push -f
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
-
Christof Ressi -
Dan Wilcox -
IOhannes m zmölnig