Electron is just one way to package it. https://gitpod.io has nothing to do with electron for example.