do not rely on undocumented github API keys