I have commits which github have lost from yesterday evening.
This is not the first time I encounter this.
Pretty scary.
I am the only one to get those?
PS: yes, I opened an issue, though I remember by heart the changes so will redo and push them again…