Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update Dokka to 1.8.10 #2220

Merged
merged 1 commit into from
Apr 17, 2023
Merged

Update Dokka to 1.8.10 #2220

merged 1 commit into from
Apr 17, 2023

Conversation

IgnatBeresnev
Copy link
Member

Changelog

Built it locally, everything looks OK

@IgnatBeresnev
Copy link
Member Author

At the moments it's unclear which branch such changes should be targeting (master/develop), so I'll take until the end of the week to clarify with Vsevolod, and come back

Thecan be merged once everyone agrees on the process

@qwwdfsad qwwdfsad removed their request for review March 13, 2023 13:16
@sandwwraith
Copy link
Member

@IgnatBeresnev All non-markdown PRs should be based against dev branch. Website is built using particular tag, so it won't cause problems

@IgnatBeresnev
Copy link
Member Author

There are a few things I want to clarify and run by the kotlin website team before this gets merged (already spoke briefly with Leonid), but I got caught up with KotlinConf preparations :( I'll finish this PR after the conference.

@sandwwraith sandwwraith merged commit c01b19f into master Apr 17, 2023
@IgnatBeresnev IgnatBeresnev deleted the update-dokka-1.8.10 branch April 17, 2023 17:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants