Repl.it/GitHub Integration

Repl.it supports integration with GitHub public repositories using the graphic user interface and with public and private repositories using git commands. This resource shows how to integrate with GitHub using git commands.

Fetch an Existing GitHub Repository
To fetch an existing repository into the current folder:
 * 1) Log in to Repl.it. Create a user account if you don't have one already.
 * 2) Create a new repl if necessary.
 * 3) Review workspace shortcuts and open a new shell, such as with Ctrl+Shift+S.
 * 4) In the terminal window, run the following command:
 * 5) In the terminal window, type the following command, but don't run it yet:
 * 6) In a separate browser tab, log into GitHub and select a repository. Select   and copy the repository URL to the clipboard.
 * 7) In the Repl.it tab terminal window, finish the   command by pasting the repository URL at the end and run the command. The command should look like the following:
 * 8) In the terminal window, run the following commands. The repository will be merged with the current folder.

Update the Run Button
The  button action is controlled by the   file:
 * 1) If necessary, create a   file in the root folder of your repository.
 * 2) The .replit file should contain the following lines (Python3 example):
 * 3) To run a different file, change the .replit file run line. For example, to run a file named   in the   folder, use the following. Note the nesting of single quotes inside double quotes, necessary with folder or file names containing spaces:

Synchronize Changes with GitHub
To synchronize Repl.it changes with GitHub, use the following git commands in the terminal window: git add. git commit -m "some commit message" git push

When your repository is updated outside Repl.it and you want to pull those changes into your repl, use the following command: git pull