You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Use case: Asaf/Yaniv want to change texts and create a PR - by editing directly in github.
However, build fails because line length changes lead to prettier issues.
One option is to have them edit using github.dev - which is a lightweight VSCode version, but we need to find a way that it will apply our settings. Maybe using editorconfig? Or some script to run and apply styling fixes?
The text was updated successfully, but these errors were encountered:
Use case: Asaf/Yaniv want to change texts and create a PR - by editing directly in github.
However, build fails because line length changes lead to prettier issues.
One option is to have them edit using github.dev - which is a lightweight VSCode version, but we need to find a way that it will apply our settings. Maybe using editorconfig? Or some script to run and apply styling fixes?
The text was updated successfully, but these errors were encountered: