[mosselman]

Nice, good tip, I will set that up for my local projects. Not using Github for those, but it nevers hurts to have redundant Git servers.