-
-
Notifications
You must be signed in to change notification settings - Fork 42
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
UTC-176-C32 Adding uppercase double thorn/wynn #626
Conversation
In second pass, fix LineBreak |
Note: files were also generated in /extra/ and /cldr/. I didn't include those. |
No, wait, this is bad -- these characters are only provisionally assigned. They are not approved for Unicode 16.0. The task was to review the proposal and prepare a pull request, but we must not merge post-16 pull requests into the We need to either revert this PR or urgently ask SAH+RMG+UTC to approve these characters for 16. |
By the way, the PR title is wrong, this is adding the capital letters not the lowercase ones. RMG tracking issue: |
Let's revert this. "We accidentally merged this" is not a good-enough reason for moving them to 16.0. |
I agree with Roozbeh. This has to be reverted, and folks need to make sure they pay attention to the status in the actual pipeline before premature merging to main for a release. The process of trying to get ahead on the property development and to break up the property development into individual pull requests needs to be disciplined, so it doesn't actually interfere with the release cycle and getting to closure. |
This reverts commit dbfe9b9.
Revert pull request: #628
Yes, both authors and reviewers... Pull requests for provisionally assigned characters should be draft pull requests until their characters/scripts are approved, and until |
This reverts commit dbfe9b9.
Reverted. |
I love how this is now my fault. |
My fault, sorry.
Need also to add this to the instructions, as it wasn't visible.
…On Thu, Dec 14, 2023, 16:47 Ned Holbrook ***@***.***> wrote:
Yes, both authors and reviewers...
I love how this is now my fault.
—
Reply to this email directly, view it on GitHub
<#626 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ACJLEMCV7OIMAF3OEF77GCLYJOM2RAVCNFSM6AAAAABAUDIOGSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNJXGA4TINBSHE>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Indeed I did not have « make it a draft PR », but the following instructions that are there in the checklist were missed:
Trying to think about how we could avoid making that kind of mistake again:
I’ll play with GitHub workflows a bit and see if I can make that happen. |
Thanks, I like having the tooling enforce the process, where that is not
too onerous; prevents people like me from making dumb errors.
…On Fri, Dec 15, 2023, 00:36 Robin Leroy ***@***.***> wrote:
Need also to add this to the instructions, as it wasn't visible.
Indeed I did not have « make it a draft PR », but the following
instructions that are there in the checklist
<https://github.com/unicode-org/unicodetools/blob/main/docs/pipeline.md#checklist>
were missed:
Proposal document — Cite L2 number
UTC decisions — Cite in extenso
data-for-new — Set label
pipeline-* — Set label
Trying to think about how we could avoid making that kind of mistake again:
- It should be possible to have some automation that prevents
something labelled as pipeline-provisionally-assigned from being merged,
but that won’t help if it isn’t labelled.
- I guess we could require any PR that touches UnicodeData.txt to be
appropriately labelled.
I’ll play with GitHub workflows a bit and see if I can make that happen.
—
Reply to this email directly, view it on GitHub
<#626 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/ACJLEMDMQQDAFHARMOWHU7TYJQDYBAVCNFSM6AAAAABAUDIOGSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTQNJXGQ4DKNBRGA>
.
You are receiving this because you were mentioned.Message ID:
***@***.***>
|
Adding 2 characters (listed in the doc as the following but only the capitals are new)