Share your repls and programming experiences

← Back to all posts
Github on Repl.it
h
Vandesm14 (1662)

On your repl hit “F1” or “Ctrl+Shift+P” to open the Command Palette.
Then type in “shell” and hit enter to open the shell.
Input the commands below to perform the listed actions (where it says “[email protected]”)

Setup

git init && git remote add originLink-To-Github-Repository&& git fetch --all && git config --global user.name "Your-Github-Username" && git config --global user.email "Your-Email"

Importing

Git pull originYour-Branch-Name

Exporting

git commit -m "Your-Commit-Message"
git push originYour-Branch-Name

Google Doc: https://docs.google.com/document/d/14PweKbMMOoYSFvsLzR4lcOsoRUDbIGVfWFYRqSF0iBU/edit?usp=sharing

Update (10/14/19): Updated documentation because there were errors.
Yay! No longer need explorer role!

Commentshotnewtop
rediar (141)

Cool, but as @theangryepicbanana said, as I'm working on a semi important project right now, I'm reluctant to be an explorer.. :(

Vandesm14 (1662)

@rediar Update: Explorer role is not needed for this.

theangryepicbanana (1235)

Keep in mind that the Explorer role allows you to use potentially unstable features, so if you aren't a fan of that, just wait until it's released to the public

Vandesm14 (1662)

@theangryepicbanana Update: Explorer role is not needed for this.