Good point, we've heard from users that there's a lot of fatigue of switching between local and GitHub all the time so we're thinking of ways to unify that experience