You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
J'ouvre cette issue pour discuter de l'organisation des fichiers au sein du repository github. Comme nous en avions discuté ensemble au préalable, je vois deux solutions :
soit créer un fichier dans lequel nous pouvons push, sur nos branches, nos transcriptions, exportées au formal .xml.
soit créer un fichier vierge des transcriptions sur lesquelles nous pouvons push notre travail (au risque d'avoir des conflits d'historiques)
Je pense que la première solution est la plus intéressante (il me semble que nous devons l'appeller data, à voir avec la consigne du devoir).
The text was updated successfully, but these errors were encountered:
Bonjour,
A priori il y avait un probléme avec le paramétrage des branches vis-à-vis du suivi des branches distantes. J'ai du paramétrer toutes les branches pour qu'elles suivent leurs branches distantes respectives avec la commande suivante : git branch --set-upstream-to=origin/nom_de_la_branche. Normalement le probléme est résolu. Pouvez-vous me confirmer que vous pouvez à présent pull et push sans problème depuis vos branches ? Merci (je refermerai ensuite l'issue).
Bonjour,
J'ouvre cette issue pour discuter de l'organisation des fichiers au sein du repository github. Comme nous en avions discuté ensemble au préalable, je vois deux solutions :
Je pense que la première solution est la plus intéressante (il me semble que nous devons l'appeller data, à voir avec la consigne du devoir).
The text was updated successfully, but these errors were encountered: