Require GSoC applicants to complete onboarding by March 16#615

armanbilge merged 2 commits intomaintypelevel/typelevel.github.com:mainfrom

gsoc-mar13typelevel/typelevel.github.com:gsoc-mar13Copy head branch name to clipboard