This PR gets rid of the Explorer name convention we've been using for release names. While it was a fun idea, it didn't really add any value and could even become a problem if we accidentally picked an explorer with a problematic past.
A few reasons for this change:
Not Useful: The Explorer names didn't end up being all that helpful in practice.
Potential Risk: There's a chance we could end up associating a release with an explorer who has some baggage, which we definitely want to avoid.
Simplifying the Process: With more continuous releases planned, this would just add unnecessary work without any real benefit.
closes: #XXXX
Before we can merge this PR, please make sure that all the following items have been
checked off. If any of the checklist items are not applicable, please leave them but
write a little note why.
[ ] Targeted PR against correct branch (see CONTRIBUTING.md)
[ ] Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
[ ] Wrote unit and integration
[ ] Added a relevant changelog entry to the Unreleased section in CHANGELOG.md
[ ] Re-reviewed Files changed in the Github PR explorer
[ ] Review Codecov Report in the comment section below once CI passes
Description
This PR gets rid of the Explorer name convention we've been using for release names. While it was a fun idea, it didn't really add any value and could even become a problem if we accidentally picked an explorer with a problematic past.
A few reasons for this change:
closes: #XXXX
Before we can merge this PR, please make sure that all the following items have been checked off. If any of the checklist items are not applicable, please leave them but write a little note why.
Unreleased
section inCHANGELOG.md
Files changed
in the Github PR explorerCodecov Report
in the comment section below once CI passes