> On May 29, 2019, at 5:22 AM, Hapla Vaclav via petsc-dev > <[email protected]> wrote: > > I don't know what BitBucket "improved" again but I have now hard time to find > the PETSc guys to mention in my PR. It now offers completely unrelated > people. I don't think it had been like that before…
Having that issue also > > So it's completely useless, you need to know the exact nick :-( > > Plus I feel like switching between Overview, Commits and Activity is even > slower than before. Just measured 7 seconds to switch from Overview to > Activity, 4 seconds to switch from Overview to Commits. That PR has 4 commits… > > So really looking forward to any other git host :-) > > Vaclav > > <PastedGraphic-1.png> > <PastedGraphic-2.png> > <PastedGraphic-3.png> > <PastedGraphic-4.png> > <PastedGraphic-5.png> > >> On 14 May 2019, at 18:09, Zhang, Hong via petsc-dev <[email protected]> >> wrote: >> >> 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]> 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]> wrote: >>> >>> >>> On Tue, 14 May 2019 at 17:34, Smith, Barry F. via petsc-dev >>> <[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. >>> >>> >>> >>> >>> >>> >> >
