On Wed, May 29, 2019 at 11:59 PM Mojca Miklavec wrote:
> (CC-ing Arjun as parts of this might be of interest for the app as well,
> and the general mailing list as they might provide further feedback.)
>
> On Wed, 29 May 2019 at 08:57, Rajdeep Bharati
> wrote:
>
>> Hi,
>> I wanted to be sure abo
On Thu, 30 May 2019 at 16:43, Rajdeep Bharati wrote:
>
> How do we decide which ports are supposed to be built? Is it only the ports
> (files) that are affected by a particular `change`?
We fetch a list of modified directories.
Then a bash script from mpbb runs though all of the ports in those
di
