Make ./dev ci push function properly.