This episode is also available as a blog post: http://developerm.dev/2020/11/22/how-to-add-github-repo-inside-another/