docs: Update contribution guidelines for issue creation and feature p…#176

Merged

hannesrudolph merged 2 commits into

mainfrom

May 7, 2025

Commits on May 7, 2025

docs: Update contribution guidelines for issue creation and feature proposals
hannesrudolph
committed
docs: Update sidebar to link to contributing guidelines on GitHub
hannesrudolph
committed