Andy Fingerhut
7e2ae40cbd
Update Mininet patch for 2022 apr ( #464 )
...
* Update the patch applied when installing Mininet
* Additional changes intended to be part of previous commit
* Specify a particular recent commit of Mininet to use
2022-04-10 01:03:55 -04:00
Umakant Kulkarni
6cec685377
Replace git:// with https:// ( #459 )
...
* Replace git:// with https://
Error - The unauthenticated git protocol on port 9418 is no longer supported.
Solution - Replace git:// with https://
Explanation - https://github.blog/2021-09-01-improving-git-protocol-security-github/#no-more-unauthenticated-git
* Replace git:// with https://
Error - The unauthenticated git protocol on port 9418 is no longer supported.
Solution - Replace git:// with https://
Explanation - https://github.blog/2021-09-01-improving-git-protocol-security-github/#no-more-unauthenticated-git
2022-03-21 23:19:31 -04:00
Radostin Stoyanov
27ffd3bfdf
Create release and development VMs ( #439 )
...
* vm: trim trailing whitespace
Signed-off-by: Radostin Stoyanov <radostin.stoyanov@eng.ox.ac.uk>
* Create dev and release VMs
Signed-off-by: Radostin Stoyanov <radostin.stoyanov@eng.ox.ac.uk>
2021-11-28 10:24:30 -05:00
