[OJFord]

At first glance that sounds awful, but presumably if it was remaining active, it would simply exist again (just not as a labelled 'fork') on next push?

Bit weird/worrying as a user or whatever looking for the repo on Github between deletion and push, but probably not a big deal in the grand scheme of things?