3 ms·git is decentralized, so I don’t think this should be part of the tool itself.by hk__2 4y agogit is decentralized, so I don’t think this should be part of the tool itself.