Added extract function.
Added 'git pull origin' alias.