Skip to content
- Fixed git pull
- git has now more descriptive errors when it fails.