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

Os trove rename #1909

Merged
merged 2 commits into from
Jul 13, 2023
Merged

Os trove rename #1909

merged 2 commits into from
Jul 13, 2023

Conversation

Haroldthe24th
Copy link
Contributor

Ticket: RE-

Description

Reviewer Checklist

  • Pipeline passes
  • Docs have been added / updated
  • Tests have been added / updated
  • Has been refactored if necessary

@vercel
Copy link

vercel bot commented Jul 12, 2023

@Haroldthe24th is attempting to deploy a commit to the Holium Team on Vercel.

To accomplish this, @Haroldthe24th needs to request access to the Team.

Afterwards, an owner of the Team is required to accept their membership request.

If you're already a member of the respective Vercel Team, make sure that your Personal Vercel Account is connected to your GitHub account.

@Haroldthe24th
Copy link
Contributor Author

WIll need the PR #1906 to test this out.

@gdbroman
Copy link
Contributor

Let's merge and test everything together on the #1905 branch.

@gdbroman gdbroman merged commit 603dfc8 into master Jul 13, 2023
@gdbroman gdbroman deleted the os-trove-rename branch July 13, 2023 09:08
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