Repositories are hosted on GitHub, and unless GitHub explicitly blocked those with Spanish source IP addresses, there's no way a Spanish ISP can block us access to a repo unless they block GitHub altogether.
> When we receive a notice from an official government agency that identifies illegal content and specifies the source of the illegality, we ... limit the geographic scope of the takedown when possible and include that as part of the notification
[0] https://github.com/github/gov-takedowns/blob/master/README.m...