Skip to content

Release Dotty 0.14.0-RC1 and 0.13.0 #6235

Closed
@biboudis

Description

@biboudis

Checklist in English

Checklist in GIT

# The following commands assume a remote tracking repository named
# `upstream` pointing to the main Dotty repo:
#
# $ git remote get-url upstream
# https://github.com/lampepfl/dotty.git

git checkout 0.13.x

# Change val baseVersion = "0.13.0-RC1" to val baseVersion = "0.13.0"

git commit -am 'Release Dotty 0.13.0'
git tag 0.13.0
git push upstream 0.13.0

git checkout master
git merge 0.13.x

# Make sure the merge doesn't break anything. In doubt, create a PR to run the CL
git push upstream master

# Milestones

git checkout -b 0.14.x

# Change val baseVersion = "0.14.0" to val baseVersion = "0.14.0-RC1"

git commit -am 'Release Dotty 0.14.0-RC1'
git tag 0.14.0-RC1
git push upstream 0.14.x
git push upstream 0.14.0-RC1

# Draft the release, get contents from:
gren changelog -G --override -D prs --tags=0.13.0-RC1..0.14.0-RC1

git checkout master

# Change val baseVersion = "0.14.0" to val baseVersion = "0.15.0"

git commit -am 'Set baseVersion to 0.15.0'
git push upstream master

Metadata

Metadata

Labels

itype:metaIssues about process/similar

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions