Hello.
The main repository for the development is GitHub. dev.opencascade is used as an "archive" and keeping clients specific branches.
Both repos has sync "master" branch. GitHub is keeping only releases branches and nothing more, all development and integration are going through GitHub forks.
So, if you are looking for latest versions or specific release - better to rely on GitHub. But if you are using custom branch which we manage in dev.opencascade, then it still will be here.
Best regards, Commenter-1.