So ... coding is solved but managing your git repo is not solved?