From 52f3c3b9e343f3fd7dbc860197595bed3e04dc5d Mon Sep 17 00:00:00 2001
From: Mike McQuaid <mike@mikemcquaid.com>
Date: Mon, 17 Feb 2014 19:10:15 +0000
Subject: [PATCH] pull: tap if necessary.

---
 Library/Contributions/cmd/brew-pull.rb | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Library/Contributions/cmd/brew-pull.rb b/Library/Contributions/cmd/brew-pull.rb
index f7c8f7d3c1..79ef9cb616 100755
--- a/Library/Contributions/cmd/brew-pull.rb
+++ b/Library/Contributions/cmd/brew-pull.rb
@@ -30,8 +30,11 @@ ARGV.named.each do|arg|
     url = url_match[0]
   end
 
-  if tap url
-    Dir.chdir HOMEBREW_REPOSITORY/"Library/Taps/#{url_match[1].downcase}-#{tap url}"
+  if tap_name = tap(url)
+    user = url_match[1].downcase
+    tap_dir = HOMEBREW_REPOSITORY/"Library/Taps/#{user}-#{tap_name}"
+    safe_system "brew", "tap", "#{user}/#{tap_name}" unless tap_dir.exist?
+    Dir.chdir tap_dir
   else
     Dir.chdir HOMEBREW_REPOSITORY
   end