How GitHub gave every repository a durable owner | Dark Hacker News