// VSCode workspace settings that are shared among all users of this project.
// This only affects subdirectories of this project.
{
    // VSCode formats files on save by default. Since Flutter source code is
    // hand-formatted, the default settings are changed to prevent inadvertent
    // reformatting of code.
    "editor.formatOnSave": false,
    "editor.formatOnType": false,

    "html.format.enable": false,
    "githubPullRequests.ignoredPullRequestBranches": [
        "master"
    ]
}