Set `dev` as primary branch for project

joeldesante / Harvey

Community managment Discord bot for the Old Dominion University Computer Science community.

GNU General Public License v3.0

6 stars 4 forks source link

Set `dev` as primary branch for project #64

Closed malakhite closed 1 year ago

malakhite commented 1 year ago

The primary branch for the repository should be changed to dev in the repository settings in order to simplify contributions for new contributors. I didn't find out about this until after I'd already created my first PR, and it definitely complicated things, given the scope of changes I was proposing.

joeldesante commented 1 year ago

Good idea! I will look into what this entails.

joeldesante commented 1 year ago

Primary branch updated