Large file stock in remote server i cannot push i cannot delete it
<p>i am not new to git but i must say i dont have advance user experience, i did add a file (mp4)without checking the size resulting to be really big, now for some weird reason git did not tell me right in that commit but in the next commit , i then deleted the file locally (manually remove it from the video folder and try to commit once again with the deleted file. i then jumped to try any possible solution of any situation that result on more commits!! now i am getting this messages and the file still somewhere in the story but i cannot find it, i cannot restort and i cannot lose my work. </p>

<p>Your branch is ahead of 'origin/develop' by 5 commits.
  (use "git push" to publish your local commits)
nothing to commit, working directory clean</p>

<p>THEN I PUSH AND : </p>

<pre><code>Counting objects: 73, done.
Delta compression using up to 4 threads.
Compressing objects: 100% (72/72), done.
Writing objects: 100% (73/73), 718.63 MiB | 897.00 KiB/s, done.
Total 73 (delta 57), reused 1 (delta 0)
remote: error: GH001: Large files detected. 
remote: error: Trace: f010797db7ebbdf07ec4779755dc18f9
remote: error: See url for more information.
remote: error: File web/videos/modepalastried.mp4 is 719.64 MB; this exceeds GitHub's file size limit of 100.00 MB to repo

[remote rejected] develop -&gt; develop (pre-receive hook declined)
error: failed to push some refs to 'https://github.com/Myuser/repo.git'
</code></pre>

<p>I could try to delete all commits not yet pushed but i really did a lot of work i dont want to lost. I try to reset --soft but it did not work. i looked for the specific version and check if the file exist but says : file does not exist. Please Help</p>

<p>thank you &lt;3 </p>