Integration 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 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:
    git init
  5. In the terminal window, type the following command, but don't run it yet:
    git remote add origin
  6. In a separate browser tab, log into GitHub and select a repository. Select Clone or download and copy the repository URL to the clipboard.
  7. In the tab terminal window, finish the git remote add origin command by pasting the repository URL at the end and run the command. The command should look like the following:
    git remote add origin your_repository_url
  8. In the terminal window, run the following commands. The repository will be merged with the current folder.
    git fetch --all
    git reset --hard origin/master

Update the Run Button


The run button action is controlled by the .replit file:

  1. If necessary, create a .replit file in the root folder of your repository.
  2. The .replit file should contain the following lines (Python3 example):
    language = "python3"
    run = "python3"
  3. To run a different file, change the .replit file run line. For example, to run a file named Activity in the Assignment 1 folder, use the following. Note the nesting of single quotes inside double quotes, necessary with folder or file names containing spaces:
    run = "python3 'Assignment 1/Activity'"

Synchronize Changes with GitHub


To synchronize 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 and you want to pull those changes into your repl, use the following command:

git pull

See Also