May 6, 2018 10:44 AM, "Adrien Destugues" <pulkomandy@xxxxxxxxxxxxx> wrote:
On Sun, May 06, 2018 at 03:09:49PM +0000, Alexander von Gluck IV wrote:
I've also dropped all of our stored plugins since they pose a *big* risk
Ok. These changes are live. I don't see any more 500 errors surfing around
Let me know if anyone sees any other issues.
One plugin which I had installed via the manager is gone again: the one
that provides easily accessible "links" in the download menu for
cherry-pick, checkout, etc.