tree 72940f51648aea58d98c1732de5e9ba747dc2673
parent ca9358b19929f2afa88d22cfc36c6713b17938d2
author Luca Milanesio <luca.milanesio@gmail.com> 1432828503 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1432851963 +0100

Keep positive status upon successful replication

It is quite useful to keep both positive and negative replication status
in order to keep track as well when the last replication happened.

Generally speaking using the replication status records we should be
able to classify each repo with:
- green status: replication successfully completed
- amber status: no replication status found
- red status: one or more refs have replication errors

Change-Id: I5c4375c66fd21c5806063c9315f3f2b2d9f0249a