Reva: repair the fossil repository

You may experience problems using fossil for a few reasons:

It happened once that a simple "fossil pull" caused a crash. The reason fossil crashed was due to two problems:

  1. a bug in fossil, which has been fixed
  2. a faulty repository


Somehow, the repository got into a bad state. The way to fix it is simple. Assume the repo is in ~/fossil/reva.fossil, then you would do this to recover:
   fossil sql ~/fossil/reva.fossil

That's it... apparently the indices were messed up. If your problem is something else, try

   fossil rebuild -R ~/fossil/reva.fossil

If all else fails, try to clone the repository again.

If that also fails, email Ron!