What is a fork, really, and how GitHub changed its meaning