I installed EOS locally following the instructions here https://github.com/EOSIO/eos/wiki/Local-Environment
Which basically involve:
git clone https://github.com/EOSIO/eos --recursive
./eosio_build.sh
sudo make install
Now suppose some updates to EOS software have occurred (e.g. 1.0.2 to 1.0.3), what is the proper way to update my installation?