Report the repository the push happened to

kohsuke · kohsuke · commit 11fcb9d4561d · 2015-02-15T08:42:32.000-08:00
Fixes issue hub4j#144.
diff --git a/src/main/java/org/kohsuke/github/GHEventPayload.java b/src/main/java/org/kohsuke/github/GHEventPayload.java
@@ -120,6 +120,7 @@ public static class Push extends GHEventPayload {
         private String ref;
         private int size;
         private List<PushCommit> commits;
+        private GHRepository repository;
 
         /**
          * The SHA of the HEAD commit on the repository
@@ -158,6 +159,16 @@ public List<PushCommit> getCommits() {
             return commits;
         }
 
+        public GHRepository getRepository() {
+            return repository;
+        }
+
+        @Override
+        void wrapUp(GitHub root) {
+            if (repository!=null)
+                repository.wrap(root);
+        }
+
         /**
          * Commit in a push
          */
