organize repo and workflow
we should protect the master
branch now that we have a stable and working version of the repository.
To this end I recommend creating a new branch dev
and setting this as a default branch for development. Once dev
has a new stable version which is ready to publish, we merge it back to master
and thus maintain the character of the main branch.
Edited by Fabian Nuraddin Alexander Gabel