Open
Description
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.