I wonder how many software developers take a dump of the source code repo on their way out of a company which has gone under? my guess is that most would, if on

I wonder how many software developers take a dump of the source code repo on their way out of a company which has gone under? my guess is that most would, if only under the pretense of keeping some sort of historical backup in case noone else does... [admission: I did do that myself one time].