@MightyPork@dev.glitch.social Stupid question: why not? Surely you'd still push the relevant commits to your git repo?