Git pull

Revert. Git pull doesn't work for now with Windows... I'll try fix this
in future.