Your observations are not at odds with what the OP said.
> Github has been honouring government takedowns
The Spanish government requested the information be taken down but only has jurisdiction over it's own users. It therefore makes sense that Github would just restrict access to the content.
Again, they are of course free to do so and I agree that it makes sense for GitHub to honor lawful requests. I was simply observing that I haven't seen GitHub apply take downs geographically before. The cases I've seen before have been global, even if the request came from Russia/China.
> Github has been honouring government takedowns
The Spanish government requested the information be taken down but only has jurisdiction over it's own users. It therefore makes sense that Github would just restrict access to the content.