From 480be7d3696b8eac9b770b25d3b4c4c91b5ea393 Mon Sep 17 00:00:00 2001
From: Christoph Ruegg <git@cdrnet.ch>
Date: Tue, 6 Sep 2016 12:06:44 +0200
Subject: [PATCH] Build: fix remote name

---
 build.fsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.fsx b/build.fsx
index 32f4dedf..4bb0dbbd 100644
--- a/build.fsx
+++ b/build.fsx
@@ -861,7 +861,7 @@ let publishReleaseTag title prefix version notes =
     let cmd = sprintf """tag -a %s -m "%s" """ tagName tagMessage
     Git.CommandHelper.runSimpleGitCommand "." cmd |> printfn "%s"
     let _, remotes, _ = Git.CommandHelper.runGitCommand "." "remote -v"
-    let main = remotes |> Seq.find (fun s -> s.Contains("(push)") && s.Contains("mathnet/mathnet-numerics"))
+    let main = remotes |> Seq.find (fun s -> s.Contains("(push)") && s.Contains("origin/mathnet-numerics"))
     let remoteName = main.Split('\t').[0]
     Git.Branches.pushTag "." remoteName tagName