CI on forked projects: Darwin woes

2019-05-08 Thread Kevin Buhr
retrying the darwin jobs every couple days? Also, is there a better place than "ghc-dev" to send these sorts of GitLab/CI issues?  I thought there might be a project dedicated to it, but if so I couldn't find it. -- Kevin Buhr ___

Re: Is cleaning up old issues worthwhile?

2019-05-04 Thread Kevin Buhr
ehow "resolved" but not "closed" in the old system came over as open tickets in GitLab. This is maybe related to gitlab-migration issue #43.  So, I'll stop now. -- Kevin Buhr ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Is cleaning up old issues worthwhile?

2019-05-04 Thread Kevin Buhr
rom these old tickets but tbh they are so old that if the bug still exists there is probably a newer ticket. -- Kevin Buhr ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs

Re: Is cleaning up old issues worthwhile?

2019-05-04 Thread Kevin Buhr
them after, say, 4 weeks with no complaints.  After I've gone through a few of these and gained some experience with it, I'll try to draft some guidelines for handling old tickets. Anyway, please let me know if this process starts to get irritating. -- Kevin Buhr

Is cleaning up old issues worthwhile?

2019-05-04 Thread Kevin Buhr
with a new label like "issue cleanup", and have a grace period before closing them? -- Kevin Buhr ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs