Hi, I am using the github-oauth-plugin on my jenkins instances. And I need an https proxy to reach github.com access points. Recently the plugin patched its oauth part with support for setting an http proxy via -Dhttps.proxyHost & -Dhttps.proxyPort arguments.

However, setting those is still not effective for retrieving user's github group list, which is backed by github-api. So is there a way can I set a proxy for github-api? or we need one