This is a backup of the old media wiki found on opencores.
The goal is to slowly migrate the content to openrisc.io and other places.
Backup uses the git mediawiki remote helper
# Initial clone was with
# git clone mediawiki::http://opencores.org/wiki1/
# you can sync with latest media with with
git remote add mediawiki mediawiki::http://opencores.org/wiki1/
# this will pull the latest changes
git pull mediawiki master