Changes

#174 (Apr 12, 2024, 9:30:15 AM)

1. Fix repo name — Ed Merks / githubweb
2. Fix repo name double qualification. — Ed Merks / githubweb

#173 (Mar 13, 2024, 7:15:35 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

#169 (Jan 12, 2024, 9:30:14 AM)

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