Mike PenzandGitHub 512b4d3a42 - upgrade to node20 for the GitHub actions ...

- remove node-fetch as it is no longer required with node 20
- upgrade actions to use node20

2023-09-04 13:52:54 +00:00

..

devcontainer.json

- upgrade to node20 for the GitHub actions

2023-09-04 13:52:54 +00:00

postCreateCommand.sh

- remove pr-collector module

2023-08-31 12:07:40 +00:00