GitHub (CEO) claims customer support looked into this prior to any tweets FWIW