Is it just me having issues - today, I couldn't reach the onion-repository of torproject.org at sdscoq7snqtznauu.onion anymore. It was working until very recently though. Everything else is working fine (internet, other onion services, etc.) and I didn't change anything really (just an upgrade to tor 0.3.5.7)...