Reply to Vik:
>Vik: 
>> Vik: remember I kept insisting on mirroring our repositories to github, earlier. I don't anymore from today.
>I expected github to become a valuable deal to someone at some point!

Hahah.