🚑 fix tagging with tip

Vincent Hatakeyama requested to merge topic/default/fix-tip-tagging into branch/default Sep 30, 2022