Merge pull request #967 from TimDettmers/younesbelkada-delete-workflow

Delete .github/workflows/delete_doc_commment.yml

.github/workflows/delete_doc_commment.yml

-name: Delete dev documentation
-
-on:
-  pull_request:
-    types: [ closed ]
-
-
-jobs:
-  delete:
-    uses: huggingface/doc-builder/.github/workflows/delete_doc_comment.yml@main
-    with:
-      pr_number: ${{ github.event.number }}
-      package: bitsandbytes
-      repo_owner: TimDettmers
\ No newline at end of file