github_plugin.cpp was erroneously affected by rev 4552 patching.