Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
M
mooc-rr
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
d0e6f90fc91537e71d96befd9f7f0f02
mooc-rr
Commits
f23c7b58
Commit
f23c7b58
authored
Nov 05, 2024
by
d0e6f90fc91537e71d96befd9f7f0f02
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
priz2note bosser à plusieurs (cours4)
parent
2d620394
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
30 additions
and
0 deletions
+30
-0
README.md
module1/README.md
+30
-0
No files found.
module1/README.md
View file @
f23c7b58
...
...
@@ -139,3 +139,33 @@ Créer d'abord à distance, cloner, bosser.
Ensuite, on push chaque fois qu'on est satisfait : c'est la sauvegarde.
Les "petites erreurs" qui forment des branches alternatives ne sont a priori pas transmises.
Mais si besoin, on peut.
Now, avec plsrs users :imp:
Les "branches masters" des différents users ne sont plus les mêmes.
On push régulièrement, et on pull dès qu'on se remet à bosser, ça marche tant qu'on bosse en différé.
Mais si on bosse simultanément, c'est le premier qui push qui a raison
\*
.
L'autre ne pourra plus push sur la master :'(
On doit pull d'abord, et là, soit la vie est belle, soit il y a des conflits.
C'est l'humain qui règle le conflit.
Ce conflit (réglé) restera visible dans l'historique (ce qui facilitera le pull de l'autre belligérant).
\*
Notons que c'est celui qui résout le conflit qui a finalement raison.
Le serveur sert d'intermédiaire ici, mais on peut faire de l'échange direct à deux.
Pour éviter les conflits... ne pas faire du micro-ménage pour rien :
espaces, indentations... ça multiplie les conflits.
Séparer les commits de fond et de forme, donc !
Faire des petits commits logiques, bien regarder avec status diff et add.
(On
**doit**
souvent faire plusieurs commits de suite.)
Aussi, on ne peut pas gérer les conflits sur les formats inconnus... il faut privilégier le format texte !
`git log`
pour voir l'historique des versions.
(Il a pas expliqué
`git merge`
! pour moi c'est synonyme de push...)
-> il ne parle pas de la possibilité de maintenir lontemps plusieurs "branches", pour quand même les fusionner à la fin.
C'est une façon de bosser à plsrs, manifestement.
(Exemple intéressant : si je bosse dans le train, hors connexion.)
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment