https://tongfamily.com/2021/11/27/splitting-a-big-repo-into-two-with-git-filter-repo-and-git-submodule/