Skip to content

Conversation

@gastonfournier
Copy link
Contributor

Update repository references

@github-project-automation github-project-automation bot moved this from New to Approved PRs in Issues and PRs Aug 1, 2025
@gastonfournier gastonfournier merged commit 084b401 into main Aug 1, 2025
5 checks passed
@gastonfournier gastonfournier deleted the 2-3717/repo-rename branch August 1, 2025 12:53
@github-project-automation github-project-automation bot moved this from Approved PRs to Done in Issues and PRs Aug 1, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants