Closed tomhenderson closed 2 years ago
Discussed here: https://groups.google.com/g/ns-3-users/c/Lyc6H3ONVoM
GitHub policy change: https://github.blog/2021-09-01-improving-git-protocol-security-github/
Sorry, when I went to make a PR I found it was already fixed (by dba16ad); thanks!
Discussed here: https://groups.google.com/g/ns-3-users/c/Lyc6H3ONVoM
GitHub policy change: https://github.blog/2021-09-01-improving-git-protocol-security-github/