a slight edit, mostly to see how the github history tool works