Is there any way that I can connect a repl to a github repository, so that I can make commits and pull requests?
How the open shell helps to connect a github repo to the new repl?
I could open the open shell and use git clone to clone some repo from remote, but when I close the current repl, the runner will be erased, therefore, the git repo will be removed!
I also see the git address entry when I want to create new rep, but entering the repo it says can't add an empty repo (and my git repo is not empty!)
Not at the moment, however don't worry! This feature is planned and being developed as we speak.