Force-Push to website repo about moveit.ros.org

[davetcoleman]

ping

[davetcoleman]

fyi I am about to force push to the website to reduce size from 266 MB to 123 MB using this tool:
https://rtyley.github.io/bfg-repo-cleaner/

And this command:

java -jar bfg-1.13.0.jar --strip-blobs-bigger-than 1M moveit.ros.org.git
git reflog expire --expire=now --all && git gc --prune=now --aggressive

[davetcoleman]

A backup of the website (using git clone mirror) has been saved as a zip here:
https://drive.google.com/drive/u/1/folders/0B2gNuURgfmGMTm95WU52N1NseGc

[davetcoleman]

I'm force pushing now...

[rhaschke]

Just stripping large blobs isn't a good idea I think: The images will be missing in history until they are added in their new, smaller version. What we should do is replace those images back in the offending commit and rebase newer history. In this fashion we will keep a consistent history.

[rhaschke]

@davetcoleman, doesn't look like you force-pushed?

[davetcoleman]

First try failed to force push because I had branch protection still on:

remote: error: GH006: Protected branch update failed for refs/heads/master.
remote: error: Cannot force-push to this protected branch

the BFG tool doesn't remove large files that are still in HEAD, so it won't affect current site

[rhaschke]

Given this commit history:
a - B - c - d - b - x - y - z
where B corresponds to a commit pushing some huge files, and b to a commit replacing those files with smaller versions.
As far as I understand, the tool will remove B, such that the images will only be introduced in b. Hence, in the history between, the files will be missing. I suggest to rewrite the history as follows:
a - b - c - d - x - y - z,
i.e. replacing B with b.

[v4hn]

Feel free to spend your evening going through the whole history fixing individual places, Robert. git histories do not have to be *perfect*. I'm fine with the chosen approach.

[rhaschke]

I don't care very much for this website repo. But for source repos I do care. If we don't need the history anymore, fine.