I have a mysql-innodb-cluster from some time back, which I now can’t refresh because it appears that the charm’s channel name has changed (from ‘stable’ to ‘8.0/stable’).
$ juju refresh mysql-innodb-cluster
ERROR not found
Can I change the channel name for an installed charm somehow? Did I miss something?