我们公司已经审核通过了一个小程序的申请，我们小程序之前就计划叫小芝味，昨天填写小程序信息的时候发现。有人占用了这个名字，可是去搜小程序搜不出叫小芝味的小程序，这是有人之前故意占用，取了也不开发小程序，单纯占用吗？还是我们也怀疑猜测可能最早之前的同事有注册这个但是没继续做下去，导致我们信息流失。现在想知道这个占用我们名字的小程序他的主体是什么。我怕是我们公司之前同事弄的 但现在没有同事知道，对方小程序id是gh_a952a4723c06