git no longer uploads sonic_annot
git no longer uploads sonic_annot