Port update_coreteam.py to Hy.