Prune or Trim Log

[heri16]

Is there a mechanism to prune or trim the log?

Or does it grow infinitely large over time?

[marc-shapiro]

Currently not, but we have students working on the problem. It's not trivial to get it right. Marc

…

Le 12 août 2021 à 13:35, Heri Sim ***@***.***> a écrit : Is there a mechanism to prune or trim the log? Or does it grow infinitely large over time? — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#457>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/ABS23HY5TXPEJRZ4CGE3GNLT4OWY7ANCNFSM5CA6WALQ>. Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email>.