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 /changelog.d | |
| 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 'changelog.d')
| -rw-r--r-- | changelog.d/9562.misc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/changelog.d/9562.misc b/changelog.d/9562.misc new file mode 100644 index 0000000000..2f0133bff0 --- /dev/null +++ b/changelog.d/9562.misc @@ -0,0 +1 @@ +Fix spurious errors reported by the `config-lint.sh` script. \ No newline at end of file |