Since it is good practice to test changes locally before pushing to
git, instructions are added to help newcomers to comfortably do just
that.