18 Jan
2017
18 Jan
'17
12:41 p.m.
On Tue, Jan 17, 2017 at 9:09 AM, Pauli Virtanen <pav@iki.fi> wrote:
Mon, 16 Jan 2017 11:35:30 -0600, CJ Carey kirjoitti:
On Mon, Jan 16, 2017 at 3:01 AM, Ralf Gommers <ralf.gommers@gmail.com> wrote:
How about doing this around 1 January and 1 July every year?
Those dates fall during times when many people are traveling or otherwise not responsive. What about phase-shifting 3 months to April 1st / October 1st?
Not that important, but now that we are optimizing this, I would push it a bit forward to eg. Apr 20 and Oct 20 to avoid beginning of academic semesters.
Sounds good, will add to the PR. We can micro-optimize there if needed:) Ralf