Closed gschwaer closed 3 weeks ago
@gschwaer Thank you very much for your proposal, this is very VERY welcome :) , I will review your script today.
@BenBE , @brainstorm, @ckudera, @posborne: This is ok for everybody if I force push here in order to restore the history.
IMO, whenever possible the version control should preserve relevant history. So yes, go ahead.
Issue completed, @BenBE thank you very much for your help and creation of the branch and PR for the PR (#5, #6, #7, #8, #9) accidentally closed caused by my force push.
@rminnich, @ii8, @PfannenHans, @AverseABFun, @zkrx: I am reviewing your PR now.
The move of the
data/
folder from cmsis-svd/cmsis-svd to cmsis-svd/cmsis-svd-data dropped the commit history.I tinkered a little and found a way to preserve commit history of all commits that changed files in
data/
(using git-filter-repo). I cannot open a PR because github won't let me (due to rewriting the history). But here's the script to do the changes that I did in gschwaer/cmsis-svd-data:I used