github bug