Jay and Monty, could you give the list an update on the status and timeline of the GitHub migration?<div><br></div><div>The last informal estimate I had heard was that July 15th was the planned date. What are the current issues?</div>
<div><br></div><div>--andy</div>