Github Standards For Mathematical Practice