<div dir="ltr">Hi all,<div><br></div><div>Because of a hiccup in the software we are using to mirror our subversion repo to git, there was a brief period today during which the Github repo was an in a parallel universe. It should be restored now, but if you did a git pull and saw something about a forced update, that is the reason. I'm sorry if this caused any inconvenience for anyone. All systems should be back to normal now. Let me know if you notice anything strange. </div><div><br></div><div>Cheers,</div><div><br></div><div>Ted<br clear="all"><div>-- <br></div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr">Dr. Ted Ralphs<br>Professor, Industrial and Systems Engineering<br>Lehigh University<br>(610) 628-1280<br>ted 'at' lehigh 'dot' edu<br><a href="http://coral.ie.lehigh.edu/~ted" target="_blank">coral.ie.lehigh.edu/~ted</a><br></div></div></div></div></div></div></div></div></div></div>