Fixing Server/Github Mismatch

And this nightmare hopefully comes to an end.