Hi all, Currently, there are 170+ branches in our git repo. Most of them are named in the shape of CURATOR-XYZ. I checked some of them, either merged or superseded or even discarded. I think it is good to make "origin" repo branches clean and focused.
Also, we are currently using github forks and pull requests to merge contributions. We are unlikely to add more CURATOR- branches. So, I propose to delete them. If there is no objection, I plan to delete them and post details (name, hash, reason) here. Best, Kezhu Wang
