Sorry for merging a PR without squashing the commits today, I have fixed this to keep the main branch clean(used `--force-with-lease`. This is a better practice learned from previous similar force-push accidents).
There are no commits on top so no hashes should be disrupted or anything like that, just wanted to offer up an explanation. Sorry for the disruption! Best Regards, Ran Tao
