Hello devs,<div><br></div><div>This is just to let you know that the latestes commit on GitHub ghc/ghc repo dates back to 22th of January. Personally, I find GitHub mirror quite useful for ocasional searches over the code base. Therefore, I'd appreciated repairing the mirror.</div><div><br></div><div>--</div><div>Best of luck,</div><div>Artem Pelenitsyn</div><div><br></div><div><br></div>