What is develop branch on GitHub?

develop branch is where new features are being tested.

Currently (Stand: 16.09.2022), it’s for version 0.9 of the project.

All experimental features goes there, then after testing, they will be pushed back into master branch.