Ah, right ;)
GitHub should not think it is a deletion, quite misleading!