G git.minix3.org Minix development has been abandoned? 139 points Bondi_Blue 3 years ago 109 comments