Because the git history will still keep it completely to be able to restore it once you go to a commit in which it wasn’t deleted.
And you cannot tell git to completely forget about it as that requires a rewrite of history and this changes all commit hashes which are touched (and any future ones).


Oh but only on fully built arm cores which support both thumb and the other mode!
That way all you instructions the debugger shows will be wrong as well since you will have swapped asm mode. (This should, however, fix some off by one jumps because the core should adjust the address. The nice change will continue wracking havoc so not much is lost…)