Skip to content

Commit

Permalink
disable ReleaseBinaries (to not push an alpha there). Do we still nee…
Browse files Browse the repository at this point in the history
…d this? Change Url to be able to push without password.
  • Loading branch information
matthid committed Sep 20, 2015
1 parent 4d907a1 commit 2f9dd11
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions build.fsx
Expand Up @@ -236,7 +236,7 @@ Target "WatchDocs" (fun _ ->
// --------------------------------------------------------------------------------------
// Release Scripts

let gitHome = "https://github.com/tpetricek"
let gitHome = "git@github.com:tpetricek"

Target "ReleaseDocs" (fun _ ->
Repository.clone "" (gitHome + "/FSharp.Formatting.git") "temp/gh-pages"
Expand Down Expand Up @@ -273,7 +273,7 @@ Target "All" DoNothing
"All"
==> "NuGet"
==> "ReleaseDocs"
==> "ReleaseBinaries"
// ==> "ReleaseBinaries"
==> "Release"

RunTargetOrDefault "All"

0 comments on commit 2f9dd11

Please sign in to comment.