diff options
| author | ertopogo <erwin.t.pombett@gmail.com> | 2026-02-22 19:57:54 +0100 |
|---|---|---|
| committer | ertopogo <erwin.t.pombett@gmail.com> | 2026-02-22 19:57:54 +0100 |
| commit | 27e9f08e863e9ca22c1244f3cb24150142571334 (patch) | |
| tree | 7e6cdeb4c2043cf17fc833a0c841303974c45f9e /SCHEMA_CENTRAL.md | |
| parent | c0dac6503789e8c3f2c111cef0d4d0ebeb624ea9 (diff) | |
Application:correction de la visibilité des diagrames de séquence sous flux
Diffstat (limited to 'SCHEMA_CENTRAL.md')
| -rw-r--r-- | SCHEMA_CENTRAL.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/SCHEMA_CENTRAL.md b/SCHEMA_CENTRAL.md index b093c2e..0aee615 100644 --- a/SCHEMA_CENTRAL.md +++ b/SCHEMA_CENTRAL.md @@ -168,6 +168,23 @@ Le depot est heberge sur Gitea (`git.arauco.online`) avec une branche principale - **`git fetch`** : recupere les commits distants sans modifier la branche locale. Permet d'inspecter avant d'integrer.
- **`git pull`** : equivalent a `git fetch` + `git merge`. Integre directement.
+### Verifier l'etat de synchronisation
+
+```bash
+git fetch origin && git status
+```
+
+Messages possibles :
+
+| Message | Signification |
+|---------|--------------|
+| `up to date with 'origin/main'` | Tout est synchronise |
+| `ahead of 'origin/main' by X commits` | Commits locaux non pousses |
+| `behind 'origin/main' by X commits` | Le serveur a des commits a recuperer |
+| `have diverged` | Les deux cotes ont des commits differents |
+
+> `git fetch` avant `git status` est necessaire pour avoir l'info a jour du serveur.
+
### Comparer apres un fetch
```bash
|