The git repos on the other hand, have latest commits days, or even, hours ago, so I wouldn't call it exactly abandoned.