If not, should I just push a meaningless commit?