Skip to content

Release Dotty 0.12.0-RC1 and 0.11.0 #5718

Closed
@biboudis

Description

@biboudis

Checklist in English

Checklist in GIT

git checkout 0.11.x

# change val baseVersion = "0.11.0-RC1" to val baseVersion = "0.11.0"

git commit -am 'Release Dotty 0.11.0'

git tag 0.11.0

git push --follow-tags --set-upstream origin 0.11

git checkout master

git merge 0.11.x

git push

# milestones

git checkout -b 0.12.x

# change val baseVersion = "0.11.0" to val baseVersion = "0.12.0-RC1"

git commit -am 'Release Dotty 0.12.0-RC1'

git tag 0.12.0-RC1

git push --follow-tags --set-upstream origin 0.12.x

# draft the release, get contents from:

gren changelog -G --override -D prs --tags=0.11.0-RC1..0.12.0-RC1

git checkout master

#change val baseVersion = "0.12.0-RC1" to val baseVersion = "0.13.0"

git commit -am 'Set baseVersion to 0.13.0'

Metadata

Metadata

Assignees

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