prompt user for gh fetch
Merge branch 'master' of github.com:DevMine/devmine-core