openrisc / community-wiki

Community Wiki clone
1 stars 7 forks source link

opencores wiki backup

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 steps

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