Avoid NameError if github integration is not loaded. fixes #465