update after a weird lack of sync between local & online repos