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

[Jed Brown]

Barry Smith <bsm...@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.

pgpNB1WF2TBmh.pgp
Description: PGP signature