Aslında bambaşka bir blog hazırlığı içerisindeydim ama aniden gelişen bu olay nedeniyle bu konuyu yazmak zorunda kaldım.
Anladığım, kadarıyla DNS ile ilgili bir engelleme yok. Sadece https ile ilgili bir ağ erişiminin bozulması söz konusu. Bu nedenle https yerine ssh ile erişmeyi denedim ve işime kaldığım yerden devam etmeyi başardım.
Adım adım anlatmak gerekirse:
- Github, SSH erişim bilgilerini öğrenme.
repository’nizi açın ve clone or donwload butonuna basın oradan ssh ‘ı tıklayın - SSH adresini kopyalayın
- git konsolunu açın. repository klasörünüze gidin ve şu konutu yazın
-
ssh -T [email protected]
- sonrasında da repository remote url’inizi şu komula değiştirin:
git remote set-url origin <ssh erişim adresiniz>
Bu işlemden sonra Github Desktop’dan yada kullandığınız IDE’den yada konsoldan uygulamanız üzerinde geliştirmeye devam edebilirsiniz.
EDIT (10.10.2016 11:53):
sadece bu değişiklikler yeterli değilmiş. DNS problemi de var. Güvendiğiniz bir DNS sunucusunu kullanabilir yada hosts dosyasına,
hosts dosyası windows kullanıcıları için C:\Windows\System32\drivers\etc\hosts linux ve mac kullanıcıları için /etc/hosts adresindedir, Yönetici olarak bu dosyayı açınız ve şu iki satırı ekleyiniz:
192.30.253.112 github.com 192.30.253.113 github.com