Ask users to clone the repository with the development shells instead, so we can keep the repository easily updated. Reviewed-by: Aleix Boné <abonerib@bsc.es>
Ask users to clone the repository with the development shells instead, so we can keep the repository easily updated. Reviewed-by: Aleix Boné <abonerib@bsc.es>