From b419cad5ce741f39e750fdce18b55dc2d8725d20 Mon Sep 17 00:00:00 2001
From: Dan Nicholson <nicholson@endlessm.com>
Date: Fri, 11 Apr 2014 09:48:56 -0700
Subject: [PATCH] Don't download pull patches

These aren't served over the API, so they can only be downloaded when
logged in. That's OK for our use case since pulls always come from a
branch in our own repo and the commits will be present in the repo
itself. The information for where to see the pull request is available
in the json.
---
 update_repos | 1 -
 1 file changed, 1 deletion(-)

diff --git a/update_repos b/update_repos
index 2fa2374..2530ccb 100755
--- a/update_repos
+++ b/update_repos
@@ -250,7 +250,6 @@ class PullsRepo(JsonRepo):
             self.download_file(pull.url)
             self.download_file(pull.commits_url)
             self.download_file(pull.comments_url)
-            self.download_file(pull.patch_url)
 
 class MilestonesRepo(JsonRepo):
     def __init__(self, gh_repo, config):
-- 
GitLab