An Introduction to Git Internals