Comment by terminalbraid

I would prefer we have posts when github is not having issues to cut down on noise.