Is there any way that I can connect a repl to a github repository, so that I can make commits and pull requests?
Repl.it can import/read from my repo. But when I commit/push, it gives me:
"Please grant Repl.it permission to access GitHub on your behalf"
I click on the [Connect] button, it send me back to the same starting position.
Not at the moment, however don't worry! This feature is planned and being developed as we speak.
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!)