Yes. That was my intention. Sorry if that wasn't clear.
requests. But more than that I hope that the committers who participate
controversial patches. We all know each other and since this event will
On Fri, 31 May 2024 16:43:35 +0200
Daniel Ziegenberg <
dan...@ziegenberg.at> wrote:
> Do we plan to have any replacement for "discussed in the technical
> meeting" like we require two approvals on a PR? We should keep a
> chance to discuss or object.
>
>
> greetings, Daniel
>
>
> On 31.05.24 15:42, Greg Logan wrote:
> > This would apply to the admin interface repo alone, correct? If so,
> > sounds good to me. If we do somehow need to rapidly merge in
> > something in the backend repo we can be pragmatic at that point.
> >
> > G
> >
> > On Fri, May 31, 2024, 04:03 Lars Kiesow <
lki...@uos.de> wrote:
> >
> > Hi everyone,
> > usually, we expect all pull requests to be discussed in the
> > technical meeting before merging. That doesn't really make sense
> > for the BugBash were we want to act fast. That's why I propose to
> > temporarily drop that
> > rule from now until the end of the BugBash EOD next Wednesday.
> >
> > This proposal passes if no one objects until Sun Jun 2
> > 12:02:22 PM CEST 2024.
> >
> > Best regards,
> > Lars
> >
> > To unsubscribe from this group and stop receiving emails from
> > it, send an email to
dev+uns...@opencast.org