Page "Electrochemistry" Paragraph 111

A positive cell potential gives a negative change in Gibbs free energy.

This is consistent with the cell production of an electric current from the cathode to the anode through the external circuit.

If the current is driven in the opposite direction by imposing an external potential, then work is done on the cell to drive electrolysis.