https://tongfamily.com/2022/07/26/dev-submodule-organization-and-dealing-with-private-submodules-in-github-actions/