diff --git a/pom.xml b/pom.xml
index 5a1ebe1ef..d46d59c38 100644
--- a/pom.xml
+++ b/pom.xml
@@ -120,6 +120,12 @@
1.1
+
+ org.jenkins-ci
+ symbol-annotation
+ 1.5
+
+
org.jenkins-ci.plugins
token-macro
diff --git a/src/main/java/com/cloudbees/jenkins/GitHubPushTrigger.java b/src/main/java/com/cloudbees/jenkins/GitHubPushTrigger.java
index d33cb112f..53033c12d 100644
--- a/src/main/java/com/cloudbees/jenkins/GitHubPushTrigger.java
+++ b/src/main/java/com/cloudbees/jenkins/GitHubPushTrigger.java
@@ -28,6 +28,7 @@
import org.jenkinsci.plugins.github.config.GitHubPluginConfig;
import org.jenkinsci.plugins.github.internal.GHPluginConfigException;
import org.jenkinsci.plugins.github.migration.Migrator;
+import org.jenkinsci.Symbol;
import org.kohsuke.accmod.Restricted;
import org.kohsuke.accmod.restrictions.NoExternalUse;
import org.kohsuke.stapler.AncestorInPath;
@@ -248,6 +249,7 @@ public void writeLogTo(XMLOutput out) throws IOException {
}
@Extension
+ @Symbol("githubPush")
public static class DescriptorImpl extends TriggerDescriptor {
private final transient SequentialExecutionQueue queue =
new SequentialExecutionQueue(Executors.newSingleThreadExecutor(threadFactory()));