Ask coding questions

← Back to all posts
How To Export My Repls To Github Account?
AhmetEmre90 (6)

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

Answered by TheDrone7 (1932) [earned 5 cycles]
View Answer
TheDrone7 (1932)

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 and click on Download as ZIP, then push the contents of the zip file onto your GitHub repository.

Vandesm14 (2752)

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

TheDrone7 (1932)

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

panditadata (9)

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

themaka (190)

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