Fix for Docker 0.7.3 which broke Github pulling.
Merge pull request #1 from philippbosch/docker-0.7.3-broken-github-fix

Fix for Docker 0.7.3 which broke Github pulling.