On Thu, 4 Sep 2014, Jed Brown wrote: > Barry Smith <[email protected]> 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
