Revise Projects Page#656

reardonj wants to merge 2 commits into

typelevel:maintypelevel/typelevel.github.com:mainfrom

reardonj:revise-projects-pagereardonj/typelevel.github.com:revise-projects-pageCopy head branch name to clipboard