An introduction to GIT