Darklang Release 10
Febuary 1, 2023
Editor Improvements
Reduce the amount of space within the autocomplete dropdown box (#4709)
Improve styling of tutorial tooltips (#4700)
Refresh the editor when it is outdated and inactive (#4648)
Deprecate old
||
/&&
functions in favor of short-circuiting||
/&&
; addconvert-to-short-circuiting
command to migrate from old||
`&&` functions (#4676, #4674)Add new "feedback" and "report a bug" buttons that point to github discussions and github issues (#4689)
Improve design of code documentation box (#4664, #4702, #4706, #4713)
Reduce the amount of space within the autocomplete dropdown box. (#4709)
Documentation
- Generally tidy documentation; fix a bunch of links (#306)
Contributor Improvements
Add instructions for testing local editor changes against the production backend (#308)
Add GitHub Issue templates for docs repo, namely to make monthly changelog/release process more straight-forward (#317, #318, #320, #322, #324, #326, #323)
Internal
Add more infrastructure config to Terraform (#4697)
React to a CircleCI incident (#313, #4704, #4691, #4694, #4695)
- rotate our CircleCI keys
- make it easier to rotate DB credentials
- see our Release 10 blog post for more information
Use Tailwind for the account actions menu, documentation box, and tutorial tooltips (#4689, #4664, #4700)
Mark more standard library functions as Not Queryable instead of Unknown (#4729)
Move deployment lock to a darklang canvas (#4703)