Gitlab labels

Zubin Duggal zubin at well-typed.com
Thu Jul 28 09:55:11 UTC 2022


The error is bogus, if you refresh the page you will see that the label
has been updated.

This seems to be a bug in Gitlab, and I've also been seeing it a lot
more often recently. I think Bryan attempted to investigate at a certain
point, but I don't know what came of it.

On 22/07/28 10:51, Simon Peyton Jones wrote:
>Whenever I try to add a label to a ticket I get "an error occurred while
>updating labels".  See below.
>
>When I repeat the exact same sequence, it works.
>
>If I add another label, again the error; repeating again works.
>
>This is tiresome and peculiar.  Does anyone have any ideas?
>
>Simon
>
>[image: image.png]



>_______________________________________________
>ghc-devs mailing list
>ghc-devs at haskell.org
>http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs



More information about the ghc-devs mailing list