Since when is it Github's job to lock others repos at all?