In case of git.dev.opencascade.org access difficulties, incorrect redirection settings across different versions may be the cause. Try accessing the site using one of the alternative links below:

Or return to the current status page of git.dev.opencascade.org.