Consolidate project data to one yaml file#418

valencik merged 2 commits intodevelopmenttypelevel/typelevel.github.com:developmentfrom

proj-ymltypelevel/typelevel.github.com:proj-ymlCopy head branch name to clipboard