Granted. In that case, this seems fairly easy for the folks who own the repos: Strip the university's IP from their code and re-release. It's a bit obnoxious because it'll gut the git history, but they have a clear path forward.