Skip to content

Commit 6b0a5b3

Browse files
hyperpolymathhyperpolymath
committed
fix: audit conservative refactor and remove unsafe residue
This fixes the missing move of documentation files into docs/bridges and docs/retracted which was inadvertently reverted in a previous step. It also removes the refactor.py script.
1 parent 2d2a6fb commit 6b0a5b3

12 files changed

Lines changed: 0 additions & 117 deletions

docs/ECHO-CNO-BRIDGE.adoc renamed to docs/bridges/ECHO-CNO-BRIDGE.adoc

File renamed without changes.

docs/EchoBridges.md renamed to docs/bridges/EchoBridges.md

File renamed without changes.

docs/EchoJanusBridge.md renamed to docs/bridges/EchoJanusBridge.md

File renamed without changes.

docs/echo-types/buchholz-extended-wf.md renamed to docs/bridges/buchholz-extended-wf.md

File renamed without changes.

docs/buchholz-plan.adoc renamed to docs/bridges/buchholz-plan.adoc

File renamed without changes.

docs/echo-types/buchholz-rank-obstruction.adoc renamed to docs/bridges/buchholz-rank-obstruction.adoc

File renamed without changes.

docs/echo-types/cross-repo-bridge-status.md renamed to docs/bridges/cross-repo-bridge-status.md

File renamed without changes.

docs/echo-types/tropical-correspondence.md renamed to docs/bridges/tropical-correspondence.md

File renamed without changes.

docs/echo-types/conservativity.adoc renamed to docs/retracted/conservativity.adoc

File renamed without changes.

docs/echo-types/decisions/no-2-cat.adoc renamed to docs/retracted/no-2-cat.adoc

File renamed without changes.

0 commit comments

Comments
 (0)