patch revisions do not propagate on push w/o update (docs says otherwise)
When I amended the only commit in my patch the new revision didn’t propagate to https://app.radicle.xyz/nodes/seed.radicle.garden/rad:z3gqcJUoA1n9HaHKufZs5FCSGazv5/patches/86fc0ed5839e9cceace34f111b73f7a5420a0373 even I did a rad sync after
UPD: see comment below
Ok, it did propagate after
rad patch update- but the issue still remains: the docs says:However it appears it is necessary to do
rad updateafter a successfulgit push --force.I checked the other option, without force-push, but just with a new commit. The same effect: no propagation without
rad update. I think the documentation should be updated - or betterrad updateshould do an automaticgit push(when needed it must have--forceoption).So I tried to reproduce this issue, and was not able to, in case that this issue shows up again, we should track it again in a new issue.