Remove binder PR comments (#400)

nsidc · Dec 5, 2023 · f2b8e78 · f2b8e78
1 parent 7ea45d8
commit f2b8e78
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/.github/workflows/binder-badge.yml b/.github/workflows/binder-badge.yml