Updates from the Repl.it team about the product

← Back to all posts
Feedback for git support + the new GitHub integration
h
replitjeremy (66)

Hi All!
Git support + the new integration with GitHub is in the process of rolling out!
When the feature is enabled for you, we'd love to hear how we could improve, and what additions you'd like to see.

feedback so far:

from @mat1:
"is there a way to create a .gitignore file? I tried making one but nothing happens when I press enter."

We're working on supporting this soon!

from @Vandesm14:
"Is this live? I don't see the git sidebar. Is this an explorer-only feature?"

We're currently in the process of rolling the feature out to everyone. Some users have it enabled currently.

Commentshotnewtop
CollinBrennan (9)

My Repl won't commit anymore. Every time I try, the page reloads and it didn't push. The commit also doesn't show up on my GitHub project.

Volectric (2)

@CollinBrennan I am having the same issue. It says my repl is up to date with the master branch, but it still shows the files I modified and doesn't commit to github.

mfeiden (0)

Ditto. Correctly identifies files with changes, but incorrectly states branch is up to date (all commit/push attempts fail). Tried creating a new branch as a workaround, but that functionality appears dead as well. ?!?

CollinBrennan (9)

If a dev could chime in that would be great.

replitjeremy (66)

I'll be taking a look this week. @CollinBrennan can you link your repl where this is happening? If the url is sensitive then please send it to [jeremy at repl . it]

rjlevy (55)

Hi @CollinBrennan, I'm having the same issue with one of my repos. Do you know if this has been fixed? Thanks, Roland

rjlevy (55)

Hi @replitjeremy, thanks for looking into this issue. I am having the same problem. I emailed you my repl today - thanks, Roland

rjlevy (55)

Solved

@replitjeremy kindly emailed me with the following solution:

This issue occurs when git is exited in the middle of doing some action. It creates an index.lock file in the .git folder of your project that prevents future commits.

Can you try opening the shell (cmd/ctrl + "." -> type "shell" ) and running rm .git/index.lock? I'm having trouble tracking down exactly what causes this. Have any of the following things possibly occurred?

  1. working with someone on this repl via multiplayer and trying to simultaneously commit
  2. closing the repl while a git action was still loading (the sidebar would be greyed out at that time)
  3. being forced to reconnect by us while using git (the editor will reload and show "offline" briefly, and then a reconnect message will appear)
Franky1 (3)

I would like to see also GitLab supported, since i use it a lot more for my private repos.

mat1 (3292)

Wow very epic, bee man.

MatthewDoan1 (333)

@mat1 Yup, somebody's been playing Minecraft snapshots.

mat1 (3292)

@MatthewDoan1 Yes, Minecraft invented bees.

PDanielY (982)

@mat1 "No, they didn't" r/whoosh

JasonGross (1)

It was working great, but now it's broken. It complains that

Unable to connect to this GitHub repository
Please grant Repl.it permission to access GitHub on your behalf and confirm that you have permission to fetch from https://16861cee7f6d88469a4eeb3d13d5540f52b5875c:[email protected]/jasongross/reddit-watcher.

(this is https://repl.it/@JasonGross/reddit-watcher)
But I gave repl.it access. And anyway, this is a very weird github link. And I can't seem to reinitialize the GitHub integration.

PaoloAmoroso (139)

@replitjeremy a current issue is the inability of omitting an .env file from commits.

replitjeremy (66)

This will be fixed soon! I'll update here when it's out for everyone.

replitjeremy (66)

@PaoloAmoroso Apologies this took so long, should be fixed! I just verified with a 'C' repl

MarijnKneppers (1)

@replitjeremy Can you please add support for the .gitignore?

replitjeremy (66)

hi, @MarijnKneppers. .gitignore files are currently supported! Did you experience an issue when using one?

MarijnKneppers (1)

@replitjeremy Yes. I am not able to ignore folders. I work with two versions of a discord bot. one developer version and one real. I use JSON for databases so I can not ignore all files by hand because there are files added every now and then.

replitjeremy (66)

@MarijnKneppers can you share a link to your repl?

raw (5)

Is there a way to sync with an existing repo rather than only being able to create a new one?

raw (5)

Lol, nevermind. Just realized you can import an existing repo from the New Repl screen.

hayaodeh (184)

@raw where did you expect to find it?

PaoloAmoroso (139)

@replitjeremy I've played a bit with the new version control features and they're so cool and well designed my grin doesn't want to go away. Here are some initial impressions and suggestions.

I'd prefer Repl.it to optionally not access any organizations and related repos I'm a member of but I don't own. And I'd like to pick which email address to use for commits among the ones registered with GitHub.

When creating a repo it would be useful for Repl.it to optionally add a well stuffed, language-sepcific .gitignore and README.md file (like GitHub offers at repo creation), as well as a LICENSE file with the default Repl.it license (MIT, if I recall correctly).

When the REPL detects changes to the source files and the repo origin is Repl.it, there's a Commit & Push button in the commit dialog. Maybe I'm not too familiar with the Git/GitHub jargon and the way these tools work, but I'd expect the action to also synchronize (push?) the local Repl.it changes with the remote GitHub repo. Instead I have to switch the origin to GitHub and click Push in the commit dialog.

This is a minor source of confusion though and, once clarified, it's no longer an issue.

replitjeremy (66)

Hey @PaoloAmoroso, thanks for all the great feedback!

I'll try to break it all down and address it here:
1. Repl.it accessing orgs/non-owned repos

We'll only ever access repositories that you connect to on Repl.it, and will never do anything related to GitHub data without an explicit action on your side. Also, if you don't own or have push access to a repo, we won't have permission to let you edit that code from Repl.it either :)
pick an email address to use with GitHub
We are planning to support this!
.gitignore, README.md, and a LICENSE file
we'll be adding support for hidden files soon, which will allow us to give the option to auto-include a .gitignore
currently working on a checkbox to add a README when you connect to GitHub
great call on the license file, I'll look into that
confusion about pushing locally vs. to GitHub
We're removing the dropdown, so that once you connect to GitHub, any push will go there as well without requiring extra user action.

PaoloAmoroso (139)

@replitjeremy Thanks for the clarifications and updates, here are some additional thoughts.

I misunderstood the required access permissions when connecting my GitHub account. Now it makes sense.

Removing the dropdown should indeed streamline and clarify the workflow.

PaoloAmoroso (139)

@replitjeremy The dropdown is gone from my Repl.it test REPL, now there's a Connect to GitHub button. After clicking it I click Create GitHub repository and get the error Unable to create a GitHub repository Let us know if there is an issue. The GitHub repo I initially created from Repl.it is still on GitHub.

replitjeremy (66)

@PaoloAmoroso Are you trying to create a repository with the same name of an existing one on GitHub? The GitHub API prevents us from doing that.

If you'd like to create a new repl that links to an existing GitHub Repo, add the github URL as a part of the 'new repl' form.

PaoloAmoroso (139)

@replitjeremy I actually did nothing special after setting up a fresh REPL to test Repl.it's new version control features.

I created a fresh REPL, went through the Repl.it version control set up flow to give Repl.it access to my GitHub account and create the repo there, and did a few commits. When I came back to the REPL after you said you were going to remove the Repl.it/GitHub dropdown, the dropdown was indeed gone and clicking the option to connect to GitHub issued the error I mentioned earlier.

ssebastianoo (9)

How can I disconnect a repo?

replitjeremy (66)

Hi @ssebastianoo, to disconnect from github, you can open the shell (Command/Control + Shift + S) and enter git remote remove origin

matthewrkitson (1)

I'd like to second the request to be able to choose username and email address used for commits.

In particular, if you've got "don't share my email address" selected as an option in your github repository, repl.it can't push any changes (as they're attributed to your private github email address).

V3rmillionNet (53)

Nice stuff, now i can upload and edit files more easily.

Works very well and the updates are sent almost instantly, and when you change something from github you can pull merge.

8/10 waiting for new features!

replitjeremy (66)

@V3rmillionNet Thanks for your feedback! What kind of features do you want to see?

V3rmillionNet (53)

The feature i like is more likely for the IDE itself, but to be able to upload folders and their sub directories (create new folders) so i could be able to upload a whole project to repl it without having to move each file to their dir. @replitjeremy

V3rmillionNet (53)

Or simply being able to set up github pages inside repl.it, dunno @replitjeremy

replitjeremy (66)

@V3rmillionNet This should work if you make a web repl named {GITHUB_USERNAME}.github.io and push it to github!

PDanielY (982)

It isn't working for me when trying with a typescript repo

replitjeremy (66)

@PDanielY oof, we don't support git in typescript right now :(. I'll remove the button from the sidebar. Thanks for reporting!

mebird (1)

@replitjeremy Any plans to support TS? I'd love to have a copy of my code on git w/out manually porting it over, but I don't know if that's possible.

replitjeremy (66)

hey @mebird, we plan on adding git for all of our supported languages eventually, but it may take a while to get there. I'll make a note that people are especially interested in TS!

EchoCoding (262)

Awesome feature! Really streamlined my work!

pmarchwiak (1)

Is there a way to request this for my account? I'm teaching a class and interested in seeing if this could work for our students.

replitjeremy (66)

hey @pmarchwiak, you can make yourself an explorer, which will turn on all experimental features. Head to https://repl.it/account and expand the "roles" section

yvt (0)

Is it simply passing the command to a shell when doing git commit? Special characters in a commit message are expanded like in a shell (e.g., ​`date`​Mon Aug 10 13:59:00 UTC 2020), which is quite unexpected.

ThomasZhou2 (0)

make it so u can disconnect git hub repos

Gwynbleidd79 (0)

I click on the "Pull <-" button and anything happens

ComputingSquid (13)

My git repo won't save changes it just says, 'your file changes will appear here'

MayankMrMaak (0)

Hey there is a bug in DJANGO INTEGRATION. WHILE PUSHING IT IS UPLOADED TO OTHER USER'S PROFILE NOT MINE.

replitjeremy (66)

@MayankMrMaak Hi can you link to the repl where this occurred? Were you multiplaying with other users when this happened?

MayankMrMaak (0)

well I haven't done such thing. This is a real concern for user, even for mine or anyone....
LINK:-https://repl.it/@MayankMrMaak/SODUKU-WEB#README.md
@replitjeremy

AlvinSeville19 (2)

How to clone Repl.it repository directly via git clone? Now it doesn't work:

$ git clone https://repl.it/@AlvinSeville19/Simple-Repository
Cloning into 'Simple-Repository'...
fatal: repository 'https://repl.it/@AlvinSeville19/Simple-Repository/' not found
replitjeremy (66)

@AlvinSeville19 Hi, the repl itself is not a git remote, you can push it to github and clone from their, or download the whole project by adding ".zip" to the end of the repl's URL

AlvinSeville19 (2)

@replitjeremy, can you tell me what defines whether smth is a git remote or not?

replitjeremy (66)

@AlvinSeville19 I'm not sure what smth is, but to be a git remote you need to set up a git server and accept certain kinds of requests, which repl.it does not do at the moment.

windowsboy111 (0)

.gitignore has been ignored. I cannot git rm files using that sidebar. I'd like to have this new feature.

XaveeIsAPixel (1)

Still shows git respiratory when its deleted

AsifBinHossain (0)

My github commits were working just a while ago and suddenly it stopped working. I cant commit to github repo anymore. Is there any particular reason to this? Is there any limit imposed on the github commits for the free version? Thanks

replitjeremy (66)

Hi @AsifBinHossain, there's no limitation on the free version. We're currently investigating this issue, sorry for the inconvenience!

AsifBinHossain (0)

@replitjeremy sure! Pls let me know if this is fixed. Thank you!

replitjeremy (66)

@AsifBinHossain if you're comfortable using the shell, can you try a workaround?
1. Open the repl.it shell cmd/ctrl + '.' and type 'shell'
2. check for an index.lock file -> 'cat .git/index.lock'
3. if it's there, remove it. 'rm .git/index.lock'

AsifBinHossain (0)

@replitjeremy It worked! Thank you so much!

RebeccaConley (2)

@replitjeremy My student had the same problem, and this solution didn't work because there was no index.lock file present.

replitjeremy (66)

@RebeccaConley Can you share a link to the offending repl? If the student is pushing to GitHub, are there any errors about connecting?

RebeccaConley (2)

@replitjeremy thank you, we actually figured it out. He had checked a privacy setting on the email portion of his GH profile, something like, "make this email private." When we pushed from his machine using bash, we got an error message that pointed us there. Replit just failed silently. The commits were retained, but the pushes never happened.

robjwells (0)

+1 to this feature (thanks!) but I came across what seems to be a bug after creating a new repo from Repl.it, and then found Repl.it failing to pull work committed elsewhere, with the following actions:

  • Create new GitHub repo from existing repl
  • Clone repo and work on repl’s main.py file locally, pushing changes to GitHub
  • Attempt to pull to Repl.it from GitHub seemingly fails. Repl.it claims that it’s “1 commit ahead” which is impossible as it’s at the initial commit that was published to GitHub. Repl.it says it’s 10 commits behind GitHub (when it was ~30).
  • Manually pulled and merged in the Repl.it console, with Git claiming the histories were unrelated. Resulted in this merge commit, which merged the Repl.it status (the initial GitHub commit) with the tip at GitHub.
darkshadowshado (25)

can u make it so i can change the github page

jw_code (0)

Hello all, i can't unlink the github account from left section.

replitjeremy (66)

@jw_code to unlink github from your account, go to https://repl.it/account, and disconnect GitHub under "connected services"

AlvinSeville19 (2)
  • How to push non-default branches from Repl.it to GitHub?
  • Please add simple tools to merge and rebase on existing branches.
LIGHTZZBOLTZZ1 (0)

@replitjeremy repl.it is not in sync with github repos. Like if I delete the repo which has been linked with my repl project then repl.it should know that repo has been deleted and say thats my current version control.