Everyone do your part! I took the rest of the week off to give GitHub a chance to recover. Flatten the peaks, let GitHub migrate