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

Merge upstream v0.12.0 #62

Merged
merged 457 commits into from
Oct 23, 2024
Merged

Merge upstream v0.12.0 #62

merged 457 commits into from
Oct 23, 2024

Conversation

3w36zj6
Copy link
Member

@3w36zj6 3w36zj6 commented Oct 20, 2024

Caution

コンフリクトの解消のため、このPull Requestは必ずCreate a merge commitでマージしてください。

変更点

AnarchistHoneybun and others added 30 commits July 6, 2024 09:40
…onal control characters (#4491)

Co-authored-by: Laurenz <[email protected]>
Copy link
Contributor

@kimushun1101 kimushun1101 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Devcontainerで動作確認できました。
これ自体のマージは問題ないと思いますが、以下のページに追加の翻訳が発生したことを別Issuesで出しておいた方が良いかもしれません。

  • docs/tutorial/advanced-styling/ : 高度なスタイリング
  • docs/reference/syntax/ : 構文
  • docs/reference/context/ : コンテキスト

@kimushun1101
Copy link
Contributor

kimushun1101 commented Oct 22, 2024

@3w36zj6 @mkpoli

これ自体のマージは問題ないと思いますが、以下のページに追加の翻訳が発生したことを別Issuesで出しておいた方が良いかもしれません。
docs/tutorial/advanced-styling/ : 高度なスタイリング
docs/reference/syntax/ : 構文
docs/reference/context/ : コンテキスト

@3w36zj6
Copy link
Member Author

3w36zj6 commented Oct 22, 2024

再翻訳が必要な各記事ごとにIssueを立てる運用にすると管理しやすいかもしれません。
このPRをマージする直前にIssueを立てようと考えています。

Copy link
Contributor

@mkpoli mkpoli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ワークフロー若干変わったようですので、マージしてみないと実際に動くかどうかわかりませんので、問題が出たらまた修正する方針ということで、どうもありがとうございます。

@3w36zj6 3w36zj6 merged commit 69f9d41 into main Oct 23, 2024
2 checks passed
@3w36zj6 3w36zj6 deleted the merge-upstream-v0.12.0 branch October 23, 2024 09:55
@3w36zj6
Copy link
Member Author

3w36zj6 commented Oct 23, 2024

@kimushun1101 kimushun1101 mentioned this pull request Nov 3, 2024
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.