Решил вопрос с Web IDE

Кажется, решил для себя вопрос с Web IDE на случай, если нахожусь за чужим компьютером. Во-первых, в GitHub есть встроенная IDE, её можно вызвать, нажав точку на клавиатуре в нужном своём репозитории. Но работает весьма медленно из-за того, что сервера GitHub находятся далеко, и нет возможности выполнять отладку.
Во-вторых, есть замечательный сервис GitPod, позволяющий открывать репозитории с GitHub и GitLab и заниматься разработкой полноценно, с возможностью запуска приложения в терминале и даже установкой MySQL. Правда, на месяц дают всего 50 часов. Но для ситуации, когда большая часть разработки делается со своего компьютера, а GitPod — это резервный вариант, этого вполне достаточно.
Теперь осталось самое главное — приучить себя пользоваться git в постоянном режиме, чтобы код всегда был на GitHub, а не только для выкладывания окончательных релизов.