It would be really helpful if we could import the file of a given github repo. I understand that there is a github integration, but that seems to only be able to add a single repo to the gitbook. I wish to be able to show the content of multiple git repos across different pages of the gitbook so as to prevent documentation rot.