I'm also trying to dig up this local-first GitHub client that a hacker built and demoed on YouTube
Reply on news.ycombinator.com