Hi list,
You might note that the Gitlab activity will increase a bit from
now on, hopefully. It was agreed within some SPICE collaborators
to give a serious try on using this infrastructure that is
available to us.
One potential great change and challenge is the usage of merge
requests in oppose
Hey Victor,
On 10/31/19 10:46 AM, Victor Toso wrote:
Hi list,
You might note that the Gitlab activity will increase a bit from
now on, hopefully. It was agreed within some SPICE collaborators
to give a serious try on using this infrastructure that is
available to us.
One potential great change
Hi,
On Thu, Oct 31, 2019 at 10:56:59AM -0500, Jeremy White wrote:
> Hey Victor,
>
> On 10/31/19 10:46 AM, Victor Toso wrote:
> > Hi list,
> >
> > You might note that the Gitlab activity will increase a bit
> > from now on, hopefully. It was agreed within some SPICE
> > collaborators to give a se
On 10/31/19 11:04 AM, Victor Toso wrote:
Hi,
On Thu, Oct 31, 2019 at 10:56:59AM -0500, Jeremy White wrote:
Hey Victor,
On 10/31/19 10:46 AM, Victor Toso wrote:
Hi list,
You might note that the Gitlab activity will increase a bit
from now on, hopefully. It was agreed within some SPICE
collab