Andy Fingerhut
|
fbd5128098
|
2022 apr updates to vm ubuntu 20.04 (#461)
* Update p4lang repo source code versions to latest as of 2022-Apr-02
* Update vm-ubuntu-20.04/README.md for April 2, 2022
|
2022-04-03 16:49:08 -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 |
|