don't do nothing if the GitHub user has no repos
Merge branch 'github_backend' into development
Merge branch 'development' of https://github.com/Gubolin/snap into development