I got a remote branch as develop_1 which I was using. All my local code changes were committed to it but my lead has accidentally deleted that remote branch.
I have all those code changes in my local system. Now I want to push all those changes back to that same Git repository in a new remote branch, say develop_2.
How can I create a new branch, sync my local changes and push it to remote?