package org.jenkinsci.plugins.ghprb.extensions;

public interface GhprbGlobalExtension extends GhprbExtensionType {

}