Metadata for the HedgeDoc organization on GitHub
This repository contains GitHub common metadata for the organization.