Seems like a boring bet. The Github way of working is from the anthropocene era. We need new primitives for agents invokved in tech solutions. Pull requests? Issues? CI? They all seem like they'll go away. Cursor should be leading the new things that replace them.