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

[bot] Run grit migration: Dev only. Trivial workflow. #3

Merged
merged 1 commit into from
Jun 28, 2023

Conversation

grit-dev-app[bot]
Copy link

@grit-dev-app grit-dev-app bot commented Jun 23, 2023

✅ This migration is up to date! ✅

View the full results on the Migration Dashboard. 🚀

This pull request was created as part of the trivial migration, with these settings:

  • Target branch: main
  • Base commit: 8ec8265
  • Source files: src/lineRadial.js,src/link.js,src/math.js,src/noop.js,src/path.js,src/pie.js,src/point.js,src/pointRadial.js,src/stack.js,src/symbol.js

Please feel free to provide feedback on this pull request. Any comments will be incorporated into future migrations.

@seren5240 seren5240 merged commit c322b83 into main Jun 28, 2023
@seren5240 seren5240 deleted the eca11c36-fdc7-4b98-8b58-1006a6891dd1 branch June 28, 2023 13:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
1 participant