How GitHub gave every repository a durable owner — Blankdot