[petsc-dev] get rid of https://bitbucket.org/petsc/petsc-dev NOW

[Satish Balay]

On Thu, 4 Sep 2014, Jed Brown wrote:

> Barry Smith <bsmith at mcs.anl.gov> writes:
> >     We should also change all the web pages from petsc-dev to
> >     petsc-master but I won’t lobby for that since would be a major
> >     upheaval to google.
> 
> A 301 redirect should be fine for this.

Pushed https://bitbucket.org/petsc/petsc/commits/cc5a9e26991aa83b0e90a89a150af528767a4615

And for now I'm using a link: petsc-dev -> petsc-master

301 redirect appears to be a apache admin config - we've previously
requested a bunch of such changes before - but I don't remember what
they are anymore. So for now I'll just stick with the link [we have
a bunch of such links anyway]

Satish