remove push-to-github