push to Equation repository too