spring-boot/ci/scripts/generate-release-notes.sh

#!/bin/bash
set -e

source $(dirname $0)/common.sh

version=$( cat version/version )
milestone=$( echo $version )
if [[ $RELEASE_TYPE = "RELEASE" ]]; then
	milestone=${version%.RELEASE}
fi
milestone_number=$( curl -s "https://api.github.com/repos/${GITHUB_ORGANIZATION}/${GITHUB_REPO}/milestones" -u ${GITHUB_USERNAME}:${GITHUB_PASSWORD} | jq -r --arg MILESTONE "${milestone}" '.[]  | select(.title == $MILESTONE) | .number')

pushd release-notes-repo > /dev/null
run_maven clean install
java -jar -Dreleasenotes.github.organization=${GITHUB_ORGANIZATION} -Dreleasenotes.github.name=${GITHUB_REPO} target/github-release-notes-generator-0.0.1-SNAPSHOT.jar "${milestone_number}" release-notes.md
popd > /dev/null

cat release-notes-repo/release-notes.md > generated-release-notes/body
echo v${version} > generated-release-notes/version
Automate creation of releases notes on GitHub Closes gh-12552 6 years ago			`#!/bin/bash`
			`set -e`

			`source $(dirname $0)/common.sh`

Use the entire version for the tag name This commit also restores the `sed` call to sanitize the request body. Fixes gh-14857 6 years ago			`version=$( cat version/version )`
Fix publish release notes script See gh-14857 6 years ago			`milestone=$( echo $version )`
Update publish release notes script The milestone name and tag name can be different if the release type is ".RELEASE". 6 years ago			`if [[ $RELEASE_TYPE = "RELEASE" ]]; then`
Use the entire version for the tag name This commit also restores the `sed` call to sanitize the request body. Fixes gh-14857 6 years ago			`milestone=${version%.RELEASE}`
Update publish release notes script The milestone name and tag name can be different if the release type is ".RELEASE". 6 years ago			`fi`
Automate creation of releases notes on GitHub Closes gh-12552 6 years ago			`milestone_number=$( curl -s "https://api.github.com/repos/${GITHUB_ORGANIZATION}/${GITHUB_REPO}/milestones" -u ${GITHUB_USERNAME}:${GITHUB_PASSWORD} \| jq -r --arg MILESTONE "${milestone}" '.[] \| select(.title == $MILESTONE) \| .number')`

			`pushd release-notes-repo > /dev/null`
			`run_maven clean install`
			`java -jar -Dreleasenotes.github.organization=${GITHUB_ORGANIZATION} -Dreleasenotes.github.name=${GITHUB_REPO} target/github-release-notes-generator-0.0.1-SNAPSHOT.jar "${milestone_number}" release-notes.md`
			`popd > /dev/null`

Use github release resource for publishing release notes This commit also marks a release as pre-release for milestones and RCs Closes gh-14908 Closes gh-14875 6 years ago			`cat release-notes-repo/release-notes.md > generated-release-notes/body`
			`echo v${version} > generated-release-notes/version`