diff options
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
|