jeanchristopheMICHEL

git sync issue

7

### Expected Behavior When I use the (re-)new git sync menu (from 0.2.3-a), with Git environnement well done, when I use "git pull" after a "git fetch", I must see...