How to contribute?

February 3, 2023 ยท View on GitHub

  • You are awesome!
  • Only editing files inside source is recommended, the rest is autogenerated and translated
  • Commit changes
  • Run generate-playground.sh locally
  • Open the .playground locally and check if it works
  • Remove the changes caused by generate-playground.sh, do not commit it! (THIS IS A RECENT CHANGE)
  • Please be patient and respectful to fellow contributors