Contribution tiles on @github were not very useful before, but now that agents are doing so much of the work, it seems like a very silly thing to keep around at this point.

@JavaSquip @github What about different colors for agent submissions vs user, and user+copilot submissions?

@JavaSquip @github It has always been a vanity metric