GIthub bug?