Also, FYI, the non-master builds will need to be manually updated with each
release. Just putting it out here to try to prevent it from being forgotten.
On Tue, Jul 23, 2013 at 1:21 PM, John Vines <[EMAIL PROTECTED]> wrote:
> I just noticed (Well, Michael Berman...) that the jenkins boxes were never
> redirected to using git. I've switched the master over and I'll migrate the
> others. Just an FYI that I'm doing this.