Re: Gitlab labels

2022-08-05 Thread Douglas Wilson
I agree this is annoying. I have found "quick actions" [1] useful in alleviating the frustruation somewhat. One can issue short commands, into the comment box. e.g /relabel ~HPC ~documentation ~"T::task" ~"P::high" there's a completion interface so it's very straightforward. [1] https://gitlab.

Re: Gitlab labels

2022-07-28 Thread Bryan Richter via ghc-devs
I haven't looked into it yet. As I haven't seen this problem on any other instance of GitLab, I have a hunch it's unique to gitlab.haskell.org. I'd like to look into it eventually. -Bryan On 28/07/2022 12:55, Zubin Duggal wrote: The error is bogus, if you refresh the page you will see that

Re: Gitlab labels

2022-07-28 Thread Zubin Duggal
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, Simo

Gitlab labels

2022-07-28 Thread Simon Peyton Jones
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: imag