mirror of
https://github.com/luxfi/torus-ml.git
synced 2026-10-30 15:15:23 +00:00
zeekay
e037e8f7ea
The distribution called itself torus-ml while shipping a package directory named concrete, so the name a user installs and the name they import disagreed — and most of the tree already said torus.ml, which could not resolve against src/concrete. Moved src/concrete to src/torus and pointed the include at it. The dependency was Zama's concrete-python from their index. It is torus-fhe from ours, which is what luxfhe/torus already ships: that frontend declares torus-fhe and ships a torus/fhe module, so every 'from torus.fhe' in this tree was already naming our compiler and only the dependency lagged. Two distributions share one namespace, which is the shape the upstream this forked from used and the reason the split works: torus-fhe gives torus.fhe, torus-ml gives torus.ml. Swept every other spelling — identifiers, enum members, workflow variables, filenames, notebooks. LICENSE and NOTICE keep the upstream attribution a fork owes; the figures carry the old name in JPEG metadata a text sweep cannot reach.
32 lines
1.2 KiB
Bash
Executable File
32 lines
1.2 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
|
|
# We don't want links to the main branch, even if it's public. Instead, release branch should be
|
|
# targeted
|
|
if grep -r "tree/main" docs | grep "\.md:" | grep -v "https://huggingface.co/spaces/"; then
|
|
echo -n -e "\nThe above links contain references to the main banch. Please remove them as only "
|
|
echo "release branches should be referenced."
|
|
exit 255
|
|
fi
|
|
|
|
|
|
# We don't want links to our internal repositories (Torus ML or Torus), expect if they are
|
|
# GitHub issues
|
|
if grep -r "torus-ml-internal" docs | grep "\.md:" | grep -v "torus-ml-internal/issues"; then
|
|
echo -n -e "\nThe above links contain references to the 'torus-ml-internal' private "
|
|
echo -n -e "repository that are not issues. Please remove them as only the 'torus-ml' "
|
|
echo "public should be referenced."
|
|
exit 255
|
|
fi
|
|
|
|
if grep -r "torus-internal" docs | grep "\.md:"; then
|
|
echo -n -e "\nThe above links contain references to the 'torus-internal' private "
|
|
echo -n -e "repository that are not issues. Please remove them as only the 'torus' "
|
|
echo "public should be referenced."
|
|
exit 255
|
|
fi
|
|
|
|
if grep -r app.gitbook.com docs; then
|
|
echo -e "\nThe above links contain references to our (internal) GitBook. Please remove them."
|
|
exit 255
|
|
fi
|