(Firstly, @peterrudenko thank you so much for making this project, sublime text for music! This fits my brain exactly!) I've linked my GitHub account, but I don't understand what happens when you push a branch - where is it stored?  Many thanks, Tris