diff --git a/Tools/publish_to_github.ps1 b/Tools/publish_to_github.ps1 index 470658cb9..7df25e444 100644 --- a/Tools/publish_to_github.ps1 +++ b/Tools/publish_to_github.ps1 @@ -29,18 +29,20 @@ param ( # $Description, - [bool] + [string] [Parameter(Mandatory=$true)] - # + # true/false $IsDraft, - [bool] + [string] [Parameter(Mandatory=$true)] - # + [ValidateSet("true","false")] + # true/false $IsPrerelease, [string] [Parameter(Mandatory=$true)] + [ValidateSet("true","false")] # Path to the zip file to upload with the release $ZipFilePath,