Add a sanity check for deprecating the old USE_GITHUB syntax.

With hat: portmgr