Git-issue: minimalist distributed issue management system based on Gitgithub.com/dspinellis2 pointsHello718 years ago