Added a script to push collections that have been curated to GitHub#539

Merged

bishwaspraveen merged 1 commit intodevfrom push-collections-to-github-script

Jan 24, 2024

+21

Commits on Nov 30, 2023

Added a script to push collections that have been curated to GitHub
bishwaspraveen
committed