Skip to content
This repository has been archived by the owner on Mar 1, 2024. It is now read-only.

Fix mutating extant resources not forcing new #190

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

zxaos
Copy link
Contributor

@zxaos zxaos commented Jun 6, 2023

Replacement for #157 rebased onto current main history

@OJFord

Fixes #154, #19 (comment).

@OJFord
Copy link
Contributor

OJFord commented Jul 29, 2023

I'd have happily rebased, no need for a new PR, this one needs it again now anyway.

Is there anything else needed to get this merged?

@andrewbaxter andrewbaxter mentioned this pull request Dec 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Replacing volume fails
2 participants