Exactly. Only a few regional ISPs have been blocking GitHub for a short amount of time.