• [^] # Re: repo

    Posté par . En réponse au journal Gérer son espace de travail git avec "gws". Évalué à 3.

    OK, je comprends mieux. Cela dit, tu as quand même eu les bonnes idées (solution au dessus de git, fichier de config pouvant etre committé) qui sont les points forts de repo, donc chapeau ;-)

    Juste pour continuer sur repo, repo a été concu pour accompagner le developpement d'Android, mais il n'est pas lié. On peut tout a fait s'en servir en dehors.

    Pour gerer plusieurs repo git, au debut il y avait les sous modules git qui permettait d'inclure un repo git dans un autre. C'etait pas une mauvaise idée, mais une peu usine a gaz. Les sous modules ont rapidement été dépréciés par les mainteneurs du projet.

    Ensuite Google est arrivé, et a proposé une solution au dessus de git permettant de gerer plusieurs repo ensemble. A l'utilisation, c'est assez simple, plutot bien fait. Le seul truc déroutant est que (par défaut ?), lorsqu'on clone un repository, repo fait un checkout du commit, même si c'est une branche qui est indiquée dans le manifest. Ce qui fait qu'on se retrouve en detached head dès le début, c'est assez moyen pour des utilisateurs basiques de git, obligeant a passer par un "repo start branch_name" avant de commencer a travailler.