Skip to content

Conversation

@glevco
Copy link
Contributor

@glevco glevco commented Jun 2, 2025

Release PRs

  • There are no PRs in this release, this release is actually a sync back after chore: sync main with dev after manual merge #63. For some reason GitHub is showing changed files, but the diff is actually empty, which you can get by running git fetch && git diff origin/main origin/dev.

@glevco glevco self-assigned this Jun 2, 2025
@glevco glevco requested a review from msbrogli as a code owner June 2, 2025 17:35
@glevco glevco removed the request for review from msbrogli June 2, 2025 17:42
@glevco glevco moved this from Todo to In Progress (Done) in Hathor Network Jun 2, 2025
@github-project-automation github-project-automation bot moved this from In Progress (Done) to In Review (WIP) in Hathor Network Jun 2, 2025
@glevco glevco merged commit f0d9bd3 into main Jun 2, 2025
12 checks passed
@github-project-automation github-project-automation bot moved this from In Review (WIP) to Waiting to be deployed in Hathor Network Jun 2, 2025
@glevco glevco moved this from Waiting to be deployed to Done in Hathor Network Jun 3, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

4 participants