Linus Torvalds on SHA-1 and Git: 'The sky isn't falling'