And one could maybe even extend this to resolve external dependencies that are also hosted on Github, but that would also be way more work.