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

chore: use correct tag #1335

Merged
merged 1 commit into from
Feb 3, 2023
Merged

chore: use correct tag #1335

merged 1 commit into from
Feb 3, 2023

Conversation

evan-forbes
Copy link
Member

Overview

this tag wasn't working previously, but I guess github's servers resolved the new tag or something, cause its working now... 🙃

Checklist

  • New and updated code has appropriate documentation
  • New and updated code has new and/or updated testing
  • Required CI checks are passing
  • Visual proof for any user facing features like CLI or documentation updates
  • Linked issues closed with keywords

@evan-forbes evan-forbes added the dependencies Pull requests that update a dependency file label Feb 3, 2023
@evan-forbes evan-forbes self-assigned this Feb 3, 2023
@MSevey MSevey requested review from a team, rahulghangas and cmwaters and removed request for a team February 3, 2023 13:23
@evan-forbes evan-forbes requested review from rootulp and rach-id and removed request for rootulp February 3, 2023 13:29
@evan-forbes evan-forbes merged commit 0b85a0f into main Feb 3, 2023
@evan-forbes evan-forbes deleted the evan/use-correct-tag branch February 3, 2023 13:56
evan-forbes added a commit that referenced this pull request Feb 27, 2023
## Overview

this tag wasn't working previously, but I guess github's servers
resolved the new tag or something, cause its working now...
:upside_down_face:

## Checklist


- [x] New and updated code has appropriate documentation
- [x] New and updated code has new and/or updated testing
- [x] Required CI checks are passing
- [x] Visual proof for any user facing features like CLI or
documentation updates
- [ ] Linked issues closed with keywords
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants