Git push to remote GitHub repo
已完成
Ok, so randomly the git push stopped working. I gave some warning about files (they weren't meant to be in the directory, but it auto downloaded them there) that were too large, so I deleted them thinking it might fix it. It still doesn't work. It still gives warning about those files despite them being permanently deleted, and it still says
'refs/heads/master:refs/heads/master [remote rejected] (pre-receive hook declined)'
How do I go about fixing this?
请先登录再写评论。
Hi Evan!
Could you please clarify whether you work with the project in the full remote mode? Or do you work with it locally?
Just to answer your question, I work on it locally and just push it to a GitHub repo, but I was able to fix it.
I had it do a ``git log``, find the commit's ID, and then do ``git reset --hard <commit ID>`` and that brought to before the problem happened and I was able to just redo everything from there. The problem was just some files added to my local git that were too big for GitHub