deployed by a push

this line was changed on GitHub and appeared here on its own