Having the ability to push or pull from GitHub on schedule would be ideal. That way an individual developer doesn't have to remember to initiate the sync for their new code and/or to pull in new code from GitHub.