IMPORTANT: gitrepos.virvig.eu will be DOWN from Tuesday February 17th@7PM until sometime on Wednesday Feb. 18th.
Even if it appears to be up, refrain from using it, or pushing any updates to your repos until we announce the maintenance is over. Otherwise, you risk loosing information!