I should have mentioned that I of course use Git. But the need to manually keep ...

		jhrmnn on Aug 25, 2020 \| parent \| context \| favorite \| on: Challenge to scientists: does your ten-year-old co... I should have mentioned that I of course use Git. But the need to manually keep track of the calculation~commit pairing is tiresome and error-prone.