Finalize the git history

[ctrueden]

We want the git history of the main branch to reflect the entire history of the ImageJ wiki from its MediaWiki days (same as we've done with https://github.com/openspim/openspim.github.io/). It's doable with git-remote-mediawiki backend. Concerns to watch out for:

• The main branch history will break when we force push, but we're still in the initial development phase right now, so that's OK. Any interested folks who've cloned it can force reset.
• The conversion of authors from MediaWiki names to real names + emails needs to be handled.
• Large binaries need to be excluded from the history.
• We want to split out the extensions (e.g. plugins) to their own repository, so we may need to be more clever and split the big MediaWiki history into two histories: one for extensions pages, and one for core pages. This will be more involved.

[frauzufall]

Is this done?

[ctrueden]

Yes! Thanks for circling back. The only thing we didn't do is split out the extensions, but we decided we don't need to do that, for the time being. The repo is small enough.