Pushing to dev when master branch is protected

noob question. I have updated my url in the config.ini file with @dev at the end and changed the git.push.('origin dev') in the Python code but I was not able to get it to push to dev. My main branch is protected