Git-bug : un gestionnaire de bugs décentralisé et intégré à Git | Factae