Revert "Commit to push"

This reverts commit c0792cc8d2f071d9b473583395999772c867c580, reversing
changes made to 04f35db8eaa43de3ea93a3ce4d1e113afb5824e2.