dump users and repositories one by one to limit memory usage in gh_fetch.py
Merge branch 'master' of github.com:DevMine/devmine-core