Use GitHub API to check mirror freshness when available#6

matthewd wants to merge 1 commit intomaingel-rb/gel:mainfrom

github-apigel-rb/gel:github-apiCopy head branch name to clipboard