KOTLIN_UPGRADE.md
Create a new branch based off develop:
git fetch
git checkout -b kotlin-<version> origin/develop
In gradle.properties,
set kotlin_version to the <version>.
Likewise, set kotlin_version in integration-testing/gradle.properties.
In README.md,
replace the occurrences of the old version with the <version>.
These are:
In README.md, find the link to https://pl.kotl.in/ and open it.
Set the compiler version of Kotlin Playground to the same major version as <version>,
click "Copy link", and replace the original link in README.md with the new one.
Perform a full build: gradle clean check publishAllPublicationsToBuildLocalRepository,
followed by gradle clean check in the integration-testing directory.
Fix any issues that arise.
Commit and push all changes to GitHub:
git commit -am 'Upgrade to Kotlin <version>'
git push -u origin kotlin-<version>
Wait for the TeamCity continuous integration builds to finish.
Open a new pull request, receive approval, and merge.