4 ms·Since when is it Github's job to lock others repos at all?by thatgerhard 7y agoSince when is it Github's job to lock others repos at all?