.@github Pages has been a bit flaky recently. Our stats show two hours of downtime in total in the last week.