Git-issue: Git-based decentralized issue management