Code

Add draft contributor guidelines#1292

Code

Merged

mergify[bot] merged 5 commits intomasterGaloisInc/saw-script:masterfrom at-contributingGaloisInc/saw-script:at-contributingCopy head branch name to clipboardJun 1, 2021

+204

Commits

Commits on May 28, 2021

• Add draft contributor guidelines

  

  Aaron Tomb

  committed
  7ffb30c

  Copy full SHA for 7ffb30c

• Add missing file

  

  Aaron Tomb

  committed
  f14e71e

  Copy full SHA for f14e71e

• Address contrib guidelines comments from @kquick

  

  Aaron Tomb

  committed
  554f88f

  Copy full SHA for 554f88f

• Remove code of conduct for now

  Show description for 3c5c52c
  

  Aaron Tomb

  committed
  3c5c52c

  Copy full SHA for 3c5c52c

• Remove dead link to code of conduct

  

  Aaron Tomb

  committed
  ad5357f

  Copy full SHA for ad5357f