Skip to content

Conversation

@parnumeric
Copy link
Collaborator

No description provided.

Niolon and others added 2 commits August 19, 2025 10:31
@parnumeric parnumeric changed the title Update dev to the latest Merge branch 'main' into 'dev' Nov 7, 2025
@parnumeric
Copy link
Collaborator Author

@Niolon I wanted to bring this branch dev to the updated version (as I understand, it needs to get updated from main). But I'm not sure what is the correct way of doing that (because I didn't see it from the past). I'd like to learn what's the actual approach of advancing dev. Thanks!

@parnumeric
Copy link
Collaborator Author

The reason I'm asking about that is that I assume that the workflow of updating main is to first merge individual branches into dev and then to main (but please correct me if I'm wrong)

@parnumeric parnumeric merged commit c24f8c1 into dev Nov 7, 2025
2 checks passed
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