more escaping fixes to nightly release for k
git fetch k '+refs/heads/*:refs/remotes/k/*'
test `git rev-parse HEAD:k` = `git rev-parse refs/remotes/k/master^{tree}`
COMMIT=$(git rev-parse --short k/master)
-DESCRIPTION='This is the nightly release of the K framework. To install, download and extract the \"Prebuilt K binary\", and follow the instructions in INSTALL.md within the target directory. On Windows, start by installing [Windows Subsystem for Linux](https://docs.microsoft.com/en-us/windows/wsl/install-win10) with Ubuntu, after which you can download and extract the archive by running:
-```
-sudo apt-get install wget
-wget https://github.com/runtimeverification/k/releases/download/nightly-'$COMMIT'/nightly.tar.gz
-tar xvf nightly.tar.gz
-```
-from the bash terminal. K requires gcc and other Linux libraries to run, and building on native Windows, Cygwin, or MINGW is not supported.'
+DESCRIPTION='This is the nightly release of the K framework. To install, download and extract the \"Prebuilt K binary\", and follow the instructions in INSTALL.md within the target directory. On Windows, start by installing [Windows Subsystem for Linux](https://docs.microsoft.com/en-us/windows/wsl/install-win10) with Ubuntu, after which you can download and extract the archive by running:\n```\nsudo apt-get install wget\nwget https://github.com/runtimeverification/k/releases/download/nightly-'$COMMIT'/nightly.tar.gz\ntar xvf nightly.tar.gz\n```\nfrom the bash terminal. K requires gcc and other Linux libraries to run, and building on native Windows, Cygwin, or MINGW is not supported.'
RESPONSE=`curl --data '{"tag_name": "nightly-'$COMMIT'","name": "Nightly build of K framework at commit '$COMMIT'","body": "'"$DESCRIPTION"'", "draft": true,"prerelease": true}' https://api.github.com/repos/runtimeverification/k/releases?access_token=$GITHUB_TOKEN`
ID=`echo "$RESPONSE" | grep '"id": [0-9]*,' -o | head -1 | grep '[0-9]*' -o`
curl --data-binary @k/k-distribution/target/k-nightly.tar.gz -H "Authorization: token $GITHUB_TOKEN" -H "Content-Type: application/gzip" https://uploads.github.com/repos/runtimeverification/k/releases/$ID/assets?'name=nightly.tar.gz&label=Prebuilt+K+binary'
