Skip to content
← Back to Community
How To Export My Repls To Github Account?
Profile icon
AhmetEmre90

Hi,
I signed up with an email address.
How can I export my code to github account or integrate both my accounts.
Thanks

Answered by TheDrone7 [earned 5 cycles]
View Answer
Voters
Profile icon
HishaamAbdul
Profile icon
myomation
Profile icon
Identity-Unknown
Profile icon
SatvikAgnihotri
Profile icon
ShivaShanmugana
Profile icon
Mathyslolx
Profile icon
TimSwast
Profile icon
alvarovillalbaa
Profile icon
HusainAttari
Profile icon
552020
Comments
hotnewtop
Profile icon
TheDrone7

There is currently no way of pushing files from your repl to GitHub, it's currently under development. But there's a workaround you can try, click the 3 dots on your file manager in repl.it and click on Download as ZIP, then push the contents of the zip file onto your GitHub repository.

Profile icon
Vandesm14

@TheDrone7 I haven't yet tried it, but aren't you able to git pull origin in the shell of your repl?

Profile icon
TheDrone7

@Vandesm14 I think that will need you to have some perms. Also I'm not sure if they have git installed, most probably they're making their own implementation of GitHub API.

Profile icon
SX9

That button dint download the whole repl for me it dint download a folder @TheDrone7

Profile icon
panditadata

How is the development going? is it possible to export repls to Github?
if yes , where can I find the how to?

Profile icon
4414imran

Lol, this still isn't possible. 3 years, no progress.

Profile icon
ExistentialBudh

repl.it never wanted to have integrated github repo.
thats why they dont have it till now.

Profile icon
themaka

More/better (or more better) integration coming soon (no exact date available yet though). Go vote for it in the feedback area: https://repl.it/feedback

Profile icon
panditadata

@themaka Did it happen?

Profile icon
Andrewmasih

has it happened?

@themaka

Profile icon
AndrewBelegrino

Would be great! @themaka

Profile icon
upsideumop

@themaka did support come??

Profile icon
RedstoneRadiant
Profile icon
davidnyan211106

@RedstoneRadiant i dont think they're gonna make one any sooner