move bin/ to tools/

The directories are not that different now. Also, clean up .bazelrc
2023-03-10 10:07:30 +02:00
parent 9b68f5ff1e
commit 5cccfb1ce1
6 changed files with 3 additions and 5 deletions
--- a/ci/lint
+++ b/ci/lint
@@ -19,7 +19,7 @@ if command -v shellcheck &> /dev/null; then
 fi

 >&2 echo "--- buildifier :bazel:"
-bin/buildifier -r -mode check "$PWD"
+tools/buildifier -r -mode check "$PWD"
 >&2 echo -e "OK\n"

 >&2 echo "--- Gazelle :goat:"