make gh_fetch.py wait for more API calls
Merge branch 'master' of github.com:DevMine/devmine-core