Judges in Spain are not part of the government ("Gobierno"). They are part of the Poder Judicial, the judiciary. The Spanish Constitution separates these clearly, give it a skim if you haven't already.
That's not what the constitution says though. "Government" ("Gobierno") is what an American would understand "executive branch" to be, I'm guessing this is why it's confusing. I tried to make it easier by adding the translations, but maybe that's just making it more confusing :)
I guess broadly in English you'd say the judges are part of the state, but they're not a part of the Spanish Government.
What matters is what the OP was communicating with it, and in English it means all state bodies responsible for administration. No one would argue the US Supreme Court is not part of the government.
No. That's what it means in the USA. Judges are not part of the government in the UK, Ireland, Australia, or New Zealand either. They're part of the State.
You and others are confusing definition for meaning. An HN rule asks people to engage with the best interpretation of someones argument, in which case it's very clear what the OP was communicating by using "government" where you might use "state", and it's clear from responses that folks clearly know that but have decided to argue over pointless semantics that engage with the posters meaning. Not a single comment tried to engage with the comment with good intentions, so focused on "I gotcha!" vibes over unproductive pedantry. How pointless and petty.
Judges in Spain are not part of the government ("Gobierno"). They are part of the Poder Judicial, the judiciary. The Spanish Constitution separates these clearly, give it a skim if you haven't already.