Roland Hummel f6396f4822 Don't cat the full DIRECTORY.md file in the github job

2021-10-05 11:23:46 +02:00

..

ci.yml

Proposal: Clean up CI job a bit

2021-10-05 11:23:45 +02:00

commitAndPushDirectory.sh

Another proposal: Clean up "update directory" job, as well

2021-10-05 11:23:46 +02:00

update_directory_md.yml

Don't cat the full DIRECTORY.md file in the github job

2021-10-05 11:23:46 +02:00

UpdateDirectory.js

Rename script.js to UpdateDirectory.js

2020-05-10 17:50:29 +02:00