diff options
| author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2021-03-09 11:11:42 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-09 11:11:42 +0000 |
| commit | 22db45bd4d567832d26f10ee2e104f1e886576b3 (patch) | |
| tree | 63c5e4af28322bfb14935bace7c0619469cd0936 /.gitignore | |
| parent | Add logging to ObservableDeferred callbacks (#9523) (diff) | |
| download | synapse-22db45bd4d567832d26f10ee2e104f1e886576b3.tar.xz | |
Prevent the config-lint script erroring out on any sample_config changes (#9562)
I noticed that I'd occasionally have `scripts-dev/lint.sh` fail when messing about with config options in my PR. The script calls `scripts-dev/config-lint.sh`, which attempts some validation on the sample config. It does this by using `sed` to edit the sample_config, and then seeing if the file changed using `git diff`. The problem is: if you changed the sample_config as part of your commit, this script will error regardless. This PR attempts to change the check so that existing, unstaged changes to the sample_config will not cause the script to report an invalid file.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions