Re: [Avocado-devel] Pull request merges for avocado-vt

2019-01-18 Thread Lukáš Doktor
Dne 18. 01. 19 v 4:15 Xu Han napsal(a): > On Fri, Jan 18, 2019 at 3:03 AM Cleber Rosa wrote: > >> >> >> On 1/15/19 1:20 PM, Plamen Dimitrov wrote: >>> Hi all, >>> >>> I am new to the avocado-vt repo and it seems that merging pull requests >>> there has a different workflow than pull requests in

Re: [Avocado-devel] Pull request merges for avocado-vt

2019-01-17 Thread Xu Han
On Fri, Jan 18, 2019 at 3:03 AM Cleber Rosa wrote: > > > On 1/15/19 1:20 PM, Plamen Dimitrov wrote: > > Hi all, > > > > I am new to the avocado-vt repo and it seems that merging pull requests > > there has a different workflow than pull requests in avocado. In > > particular, it seems that no

Re: [Avocado-devel] Pull request merges for avocado-vt

2019-01-17 Thread Cleber Rosa
On 1/15/19 1:20 PM, Plamen Dimitrov wrote: > Hi all, > > I am new to the avocado-vt repo and it seems that merging pull requests > there has a different workflow than pull requests in avocado. In > particular, it seems that no review is required for a merge - am I > correct to assume this? I

[Avocado-devel] Pull request merges for avocado-vt

2019-01-15 Thread Plamen Dimitrov
Hi all, I am new to the avocado-vt repo and it seems that merging pull requests there has a different workflow than pull requests in avocado. In particular, it seems that no review is required for a merge - am I correct to assume this? I have 5-6 pull requests waiting and after waiting for some