-
Did you notice any difference in the size of the repo before and after adding the big file?
-
What is the reason for this problem?
-
How do you remove something from Git history after it is pushed to the remote repository? Which commands would you use?
-
What are the consequences of the previous action?
Answer for exercise c01-git03