build.fsx,RELEASE.md: don't push prereleases for relNotes commits

The way we had setup the prerelease push was making unnecessary prerelease
packages for the same commit that ends up being mapped to a release. But if
we push the tag and the branch at the same time, and check the commit with
'git describe' then we can detect the situation and avert it.

Author: knocte

build.fsx

@@ -186,7 +186,22 @@ Target.create "Push" (fun _ ->
         | None ->
             Console.WriteLine "No nuget-key env var found, skipping..."
         | Some key ->
-            push key
+            if isTag then
+                push key
+            else
+                match getBuildParam "GITHUB_SHA" with
+                | None ->
+                    failwith "GITHUB_SHA should have been populated"
+                | Some commitHash ->
+                    let gitArgs = sprintf "describe --exact-match --tags %s" commitHash
+                    let proc =
+                        CreateProcess.fromRawCommandLine "git" gitArgs
+                        |> Proc.run
+                    if proc.ExitCode <> 0 then
+                        // commit is not a tag, so go ahead pushing a prerelease
+                        push key
+                    else
+                        Console.WriteLine "Commit mapped to a tag, skipping pushing prerelease..."
     | _ ->
         Console.WriteLine "Github event name not 'push', skipping..."