Capistrano-based deployment

uwplse / verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

BSD 2-Clause "Simplified" License

183 stars 19 forks source link

Closed palmskog closed 7 years ago

palmskog commented 7 years ago

Awkward to have explicit host definitions in version control, but otherwise pretty good.

palmskog commented 7 years ago

This should be squash merged to avoid taint of our otherwise supremely pristine history.