I’ve been on a course for the last week. Hours are brutal, 8:30am to 7pm. Been taking lots of notes on disk, in jupiter notebook files. This is something that I don’t want to lose. The course has a git repo, which I’ve forked on github. This is what happened today:
– pull class repo to get latest files.
– try to push to my github repo. Sadly, this fails, as one of the data files is 102MB and is bigger than github’s file size limit.
– try and git rm the file from my source tree
– try to push to github, that’s a fail.
– look on StackOverflow for magic git incantation to remove file from git history. This is not something that you normally want to do.
– run magic incantation
– REVERT FUCKING GIT HISTORY TO A POINT WHERE THE COURSE STARTED, THUS LOSING 4 DAYS OF WORK AND NOTES!!!!!
– Quickly run through 5 stages of grief.
– Realize that Jupiter notebook is smart/stupid at the same time, and that the versions I have in memory are different than the ones on disk.
– Preciously save MULTIPLE COPIES/EXPORTS of all the important files.
– Unclench
