There isn't anything to do.  When they `git pull` they'll get any updates that are available.