Git-dit: decentralized Issue Tracking for git