github's potential bug