Changes

#137 (Apr 11, 2024, 2:52:35 AM)

1. Fix repo name — Ed Merks / githubweb

#136 (Apr 11, 2024, 2:41:37 AM)

1. Fixes #2 - Garbage collection of unused contents is needed (#3) — GitHub / githubweb
2. There is no need to check the aggregator's mirrors — Ed Merks / githubweb
3. Update the updater for 2024-03 to 2024-06 transition — Ed Merks / githubweb
4. Parameterize update_latest_repo.sh to specify the local_dir_name — Ed Merks / githubweb
5. Improve generated repository composite names. — Ed Merks / githubweb
6. Improve generated repository composite names. — Ed Merks / githubweb

#130 (Jan 11, 2024, 4:10:19 AM)

1. Fix the eclipse download version used for checking composites (#1) — GitHub / githubweb
2. Fix missing quote — Ed Merks / githubweb