Deal with bp and other inter-wiki links

[peterjc]

The old MediaWiki install had some inter-wiki shortcuts setup including the bp: prefix for the BioPerl wiki. Those need to be reviewed and replaced.

e.g. Page PISE tries to redirect to bp:PISE, a BioPerl wiki page which no longer exists see https://web.archive.org/web/20160317135452/http://bioperl.org/wiki/PISE and https://github.com/bioperl/bioperl-pise - in this case replace the page with a stub based on the archived text?

[peterjc]

Only BioPerl redirects (as full pages), and only these:

$ for X in *.mediawiki; do echo; echo $X; grep REDIRECT

BioPerl.mediawiki
#REDIRECT [[bp:BioPerl|BioPerl]]

Brian_Osborne.mediawiki
#REDIRECT [[bp:Brian Osborne]]

Chris_Mungall.mediawiki
#REDIRECT [[bp:Chris Mungall]]

Ewan_Birney.mediawiki
#REDIRECT [[bp:Ewan Birney]]

Gbrowse.mediawiki
#REDIRECT [[bp:Gbrowse]]

GMOD.mediawiki
#REDIRECT [[bp:GMOD|GMOD]]

Hilmar_Lapp.mediawiki
#REDIRECT [[bp:Hilmar Lapp]]

Jason_Stajich.mediawiki
#REDIRECT [[bp:Jason Stajich]]

PISE.mediawiki
#REDIRECT [[bp:PISE|PISE]]

[peterjc]

We do have some direct links to inter-wiki pages though, e.g. biosql:Main Page and biopython:Google Summer of Code

[peterjc]

Handled the external redirects with 425ea04 for markup, and peterjc/mediawiki_to_git_md@ec00c4f to map these to redirect_to