Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

3/5: Correction stoa0128b.stoa003 #71

Merged
merged 8 commits into from
Apr 22, 2021
Merged

3/5: Correction stoa0128b.stoa003 #71

merged 8 commits into from
Apr 22, 2021

Conversation

krkryger
Copy link

@krkryger krkryger commented Apr 21, 2021

Issue #62

J'ai apporté les modifications suivantes :

  • Langue et URN verifié
  • "Faux"<cRefPattern> rajouté
  • <revisionDesc> rajouté

@PonteIneptique
Copy link

L'historique est plein de merge, ce qui n'est pas franchement génial. Je vous conseille vivement de suivre le tutoriel envoyé. Je passe pour cette fois

  • Correction 1/1 (Évitez cependant n="0" pour le type de cRefPattern. Préférez work ou unknown ou full dans ce genre de situation précis)
  • PR 1/1
  • Issue 1/1
  • Historique: 1/1

@PonteIneptique PonteIneptique merged commit b9d6046 into Chartes-TNAH:master Apr 22, 2021
@krkryger
Copy link
Author

Bonjour et merci pour le retour !

J'ai bien noté que les anciens merges sont toujours dans l'historique mais je ne sais pas pourquoi. J'ai fait un fetch/merge depuis l'upstream pour mettre à jour mon fork, en pensant que cela supprimait les vieux commits faits avant le dernier pull request.

J'aimerais avoir une historique court avec un merge de l'usptream et un seul commit pour les changements, mais je ne suis pas sûr comment le faire proprement. Si vous aviez des conseils généraux à ce propos, je serais bien reconnaissant !

@PonteIneptique
Copy link

Pour un historique vraiment propre, quand on travail sur un dépôt autre que le sien, je conseille de suivre la démarche fournie par mail en date du 03/04:

Chères tou-te-s,

Je vous avais parlé de manière de rester à jour avec un fork. Pour rappel,
 voici la meilleure manière de créer une branche à partir de la dernière version du dépôt source:

1 ere execution seulement

    git remote add source URL_GIT_DEPOT_SOURCE
    git fetch source

Ensuite, pour créer une branche à partir du master de source

    git checkout source/master
    git pull source master
    git checkout -b MON_NOM_DEBRANCHE
    git push -u origin MON_NOM_DEBRANCHE

La Branche MON_NOM_DEBRANCHE partira du dernier état.

et du coup, normalement, pas besoin de faire un seul merge.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants