Weird GitHub bug