Skip to content

Conversation

@aditya0by0
Copy link
Member

No description provided.

@aditya0by0 aditya0by0 requested a review from sfluegel05 May 15, 2025 12:49
@aditya0by0 aditya0by0 self-assigned this May 15, 2025
@sfluegel05 sfluegel05 merged commit 919064d into dev May 19, 2025
6 checks passed
@sfluegel05
Copy link
Contributor

I don't see the need the delete the main branch. In general, the idea is that one does development on the dev branch and for releases, merges that into the main branch. Tbh in #1 I hadn't seen that it was merging into the main branch, I assumed it was merging into dev.

My suggestion is to get dev on the same level as main (as you have done with this PR) and then continue on the dev branch (without deleting main).

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