No, my problem with the git integration wasn&#x27;t the editor or whatever. It was that if I made a change, I had to commit and push it (and I&#x27;m new to Javascript, so I make a lot of minor errors) so my time was spent writing &quot;fix typo&quot; commit messages. And even when I did do that, it often wouldn&#x27;t notice my push for many minutes on the Screeps side of things. I never really figured out how to reliably get it to pick up my changes, so I&#x27;d try refreshing the webpage, etc. to get it. I.e. the github integration was too poor to be useful, at least back when I tried it and in the way I was using it.<p>Plus, there was no way to go the other direction: edit something online and then push to github. You could only go the other way.