Champii/Rock

Use `master` as the default branch

Champii opened this issue · 0 comments

Actually, master stays in sync with the latest version of Rock, and we use develop as the de-facto branch for merging PRs.
This is unnecessary and confusing.
We should delete develop and use only master as the real HEAD of this repo.