github bug?