At some point in the future, the NPL/OPL will switch to git and freeze the svn repository, but I don't know when that will be.
John
I wrote:
Now I know; it happened yesterday. The current version of the NPL/OPL is now the one housed at github, and the svn version is frozen. Changes (bug fixes, addition of new problems) will only be made to the git repository.