reef-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Markus Weimer <>
Subject Re: Review of code before the final merge?
Date Fri, 29 Apr 2016 20:38:47 GMT
Thanks Mariia and Dongjoon! Using a prefix does sound like a great idea 
for this.

Mariia, do you know if and how we can exclude those PRs from the build 
server? Otherwise, they might eat up all our build resources...


View raw message