Useful Git commands used by ARIT.