Add script to trim the repository #188

Manually merged

rarias merged 2 commits from trim-repository into master 2025-10-02 15:46:03 +02:00

Conversation 6 Commits 2 Files Changed 3 +56 -4

2 Commits

Author	SHA1	Message	Date
Rodrigo Arias Mallo	5cfd7f0858	Fetch website from its own git repository ... Reviewed-by: Aleix Boné <abonerib@bsc.es>	2025-10-02 15:45:21 +02:00
Rodrigo Arias Mallo	9c5e22d62d	Add script to trim the repository ... Reviewed-by: Aleix Boné <abonerib@bsc.es>	2025-10-02 15:44:56 +02:00