Git: the basic commands every developer should know