Random holiday fun: Vote for buildbot naming conventions!

2014-12-17 Thread Austin Seipp
Hi *, Everyone has been working hard getting things ready for the branch/RC later this week - and that's really appreciated! As always, GHC wouldn't be what it is without you. But it's the holidays - that's stressful for some, and real time consuming for others. So to keep things light and a litt

Re: Random holiday fun: Vote for buildbot naming conventions!

2014-12-18 Thread Carter Schonwald
dont forget you can vote for more than one! On Thu, Dec 18, 2014 at 12:08 AM, Austin Seipp wrote: > > Hi *, > > Everyone has been working hard getting things ready for the branch/RC > later this week - and that's really appreciated! As always, GHC > wouldn't be what it is without you. > > But it'

Re: Random holiday fun: Vote for buildbot naming conventions!

2015-01-07 Thread Austin Seipp
Hi all, I closed the polls on this a few days ago, and the results are in. By popular vote, the candidates from first to third place are: 1) Famous logicians and Computer Scientists - 21 out of 40 votes. 2) Boring and descriptive names - 19 out of 40 votes. 3) NSA Surveillance Tools - 15 out o