You know how you can import and export projects to and from github?
well it would be neat that for project you import from github, to be able to have a button or something that could let you pull recent changes…
since every time i’ve tried it, the pull was rather incomplete, or if i just imported from github again, it would disconnect and hang until i refreshed the editor