-
Georges Racinet authored
With the `--push` argument of `convert-pull-local`, we removed the `cd omnibus-heptapod`, but we forgot to update the subsequent call to `convert-git-tags-push` accordingly
91074683fb6b
With the `--push` argument of `convert-pull-local`, we removed the `cd omnibus-heptapod`, but we forgot to update the subsequent call to `convert-git-tags-push` accordingly