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.

Sign up for GitHub

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

Jump to bottom

Update to_prod & to_sand lists for Fri Aug 25th #6642

Merged
merged 1 commit into from
Aug 26, 2023
Merged

Update to_prod & to_sand lists for Fri Aug 25th #6642

merged 1 commit into from
Aug 26, 2023

Conversation

eliheuer
Copy link
Collaborator

No description provided.

@eliheuer
Copy link
Collaborator Author

I'm merging this, but I might need to make another PR soon to fix this issue: notofonts/takri#16

@eliheuer eliheuer merged commit 25fdc5d into google:main Aug 26, 2023
7 checks passed
@RosaWagner
Copy link
Contributor

@eliheuer the muted deleted path need to go in the the to_delist list (unmuted). You can also add the label I Tools / workflow / repo to these kind of PRs so they don't end up in traffic jam ;)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
I Tools / workflow / repo
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@eliheuer @RosaWagner