Re: UCR workflow

I'll review PRs and deal with them on behalf of UCR team. If issues are
raised the UCR team cant agree on then we'll bring to monday for discussion.

Rob


On Sat, 5 Aug 2017 at 09:16 Ruben Verborgh <Ruben.Verborgh@ugent.be> wrote:

> In a related question, what happens with pull requests?
> I currently have 3 open, 2 of which are to sync cases from the wiki with
> the repo.
>
> If we are to discuss the use cases on Monday,
> I guess it's important for them to be in sync,
> or at least to make very clear for each use case
> where the latest version is.
>
> I would suggest that migrated use cases are removed from the wiki
> and replaced by a link, to avoid any confusion.
>
> Best,
>
> Ruben

Received on Friday, 4 August 2017 23:51:10 UTC