Vote for GitHub +1. We would have almost moved to GitHub early last year. But I was not sure what stopped the transition.
Hong On May 14, 2019, at 10:51 AM, Fande Kong via petsc-dev <[email protected]<mailto:[email protected]>> wrote: Any difficulty to switch over to GitHub? I like GitHub better than bitbucket. Fande On Tue, May 14, 2019 at 9:41 AM Dave May via petsc-dev <[email protected]<mailto:[email protected]>> wrote: On Tue, 14 May 2019 at 17:34, Smith, Barry F. via petsc-dev <[email protected]<mailto:[email protected]>> wrote: Could be they're digging their own grave. I seem to be spending more time waiting after each click when previously I recall it was virtually instantaneous? It's definitely not your imagination - the web interface is much much slower than it used to be 5-8 years ago.
