A git extension to rate committers' commit tallies as a rating from the 80's computer game Elite