This port needs to use USE_GITHUB properly. PR: 200272 Submitted by: Rainer Hurling (rhurling gwdg de)