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.
Thanks for leaking my e-mail address to other team members! I was working on discord bot with other users, and under commit there is my PRIVATE e-mail address! I've had my repl.it account via Github, where my e-mail address was set to private. It was supposed to use [email protected], not my e-mail I use to login to github. Now there are 3 strangers with enough info to doxx me.
Feedback for git support + the new GitHub integration
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."
from @Vandesm14:
"Is this live? I don't see the git sidebar. Is this an explorer-only feature?"
Thanks for leaking my e-mail address to other team members!
there is my PRIVATE e-mail address! I've had my repl.it account via Github, where my e-mail address was set to private. It was supposed to use [email protected], not my e-mail I use to login to github. Now there are 3 strangers with enough info to doxx me.
I was working on discord bot with other users, and under commit
@KifoPL oh that sucks