Update on INFRA-10826 front:
Someone on [email protected] looked at INFRA-10826 (or to
similar issues - from the discussion that I saw on the mailing list, at
least 3 other projects are facing similar problems). They are still
looking into how to erase such files, but it's trickier than initially
thought. They tried a filter that claimed to have removed the files, but
they still show up on GitHub.
I closed INFRA-10826 as "will not fix". However in my understanding,
investigation on infrastructure side continue anyway for other projects.
For example they are looking for removing JAR files from Lucene history.
But I do not know if and when infra would have a solution.
So short terms alternatives for us are:
* Ignore the 3 Mb binary file and resume activity. We should be
careful to not commit other big files. I'm not completely sure if
what infra is looking for would allow us to clean history even
months after the fact. I will try to read again infra emails more
carefully and report back on this question.
* Ask infra to switch the SIS project from SVN to Git and do a "push
--force" ourself before to resume activity.
What would peoples prefer?
Martin