Small bash script to determine whether github is ok