G git.minix3.org Ask HN: Is Minix dead? No commits since 2018 221 points haunter 5 years ago 142 comments
