Skip to content

Conversation

@henrymercer
Copy link
Contributor

This wasn't being used anywhere yet, so we didn't notice that the name was wrong.

Merge / deployment checklist

  • Confirm this change is backwards compatible with existing workflows.
  • Confirm the readme has been updated if necessary.
  • Confirm the changelog has been updated if necessary.

@henrymercer henrymercer requested a review from a team as a code owner June 12, 2023 10:58
angelapwen
angelapwen previously approved these changes Jun 12, 2023
Co-authored-by: Angela P Wen <angelapwen@github.com>
@henrymercer henrymercer merged commit 543e468 into main Jun 12, 2023
@henrymercer henrymercer deleted the henrymercer/fix-flag-name branch June 12, 2023 20:16
@github-actions github-actions bot mentioned this pull request Jun 13, 2023
6 tasks
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.

3 participants