Updates from the Repl.it team about the product

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

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
mat1 (2611)

Wow very epic, bee man.

MatthewDoan1 (115)

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

mat1 (2611)

@MatthewDoan1 Yes, Minecraft invented bees.

raw (4)

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

raw (4)

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

hayaodeh (167)

@raw where did you expect to find it?

EchoCoding (255)

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 (15)

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

PaoloAmoroso (93)

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

Purpzie (0)

Please allow us to use a GitHub noreply email! I have GitHub set up to block pushes that reveal my private email, and because repl.it uses that email, nothing will push to GitHub.

replitjeremy (15)

hey @Purpzie, thanks for your feedback. We plan to support switching out your GitHub email soon!

MrAndersen1 (0)

When I click on branch name, no branch list appear :(
Everything else is great, btw, thank you for this site

replitjeremy (15)

@MrAndersen1 whoops, fixing this today!

pmarchwiak (1)

Just played around with this and it's a really nice integration! It would be great if when using the "import from github" option when creating a new Repl, it was linked to that same repo in the sidebar. It seems like the sidebar only supports creating a new repo but not linking to an existing one.

replitjeremy (15)

hey @pmarchwiak, it should link to the same repo once importing is done!

PaoloAmoroso (93)

@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 (15)

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 (93)

@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 (93)

@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 (15)

@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 (93)

@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.

PaoloAmoroso (93)

So far the only feedback I have is:

Huge thanks!

PDanielY (225)

Who are you, bee man? What is your job on repl.it?

nana3 (0)

@PDanielY He is Jeremy engineer in Repl.it :) https://repl.it/site/about