if you can't push to develop branch go into .git folder for the repo - on local copy, delete file pre-push