Merge pull request #1516 from zed-industries/bootstrap-script

Add bootstrap script, avoid hard-coding zed team members
f978ccb18bMax Brunsfeld committed on 8/15/2022, 10:55:50 PM· committed by GitHubparentse14f2b351b98d5
6 files changedLine totals unavailable