4 Commits

Include renames

Author	SHA1	Message	Date
Clifford Yapp	50e2cdb527	Fix git clone lines to use https ... Github has disabled git:// protocol support, so we need to switch: https://github.blog/2021-09-01-improving-git-protocol-security-github/	2022-06-11 01:26:02 +01:00
Chris HORLER	90f3c5ce26	fix workflow actions for pull requests, and add manual trigger for updated branches	2022-06-09 23:10:37 +01:00
Clifford Yapp	bf14461dae	Point to the main stepcode repository	2021-09-06 17:22:05 -04:00
Chris HORLER	de375f8cea	fix github actions / ci directory name	2021-09-05 21:01:50 +01:00