search

raft / raft.github.io

website at https://raft.github.io
1.37k stars 213 forks source link

Add resetius/miniraft-cpp #194

Closed resetius closed 6 months ago

ongardie commented 6 months ago

Thanks @resetius. Please sort the new entry by its repoURL.

ongardie commented 6 months ago

thanks!

resetius commented 6 months ago

Thank you very much! How do you update the stars column?

ongardie commented 6 months ago

A cron job that runs fetch_repo_info.py should get the updated star count at least daily.

ongardie commented 6 months ago

Nowadays we could probably use Github Actions to do this somehow, but I think/hope the cron job has been working.