appservices pull cli doesn't remove deleted trigger

I’m trying to use the appservices cli to track MongoDB Atlas triggers in source control. It works fine until I delete a trigger from the Atlas UI and try to pull that change to my local directory. I delete the trigger manually and then run appservices pull, but the trigger.json file is still there in my local directory. Is this the intended behavior? And if so, is there a way to override it?

As a side note, the reverse does work. If I delete the file locally and then run appservices push, the trigger is deleted from the Atlas UI too.