Three-colouring arrangements of great circles
Prove that the crossing points of every simple arrangement of great circles can be 3-coloured, or find one that needs four colours.
Pull requests
Pull requests bring work from one route into another; merging one adopts it.