diff options
| author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2020-08-04 14:10:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-04 22:10:23 +0100 |
| commit | 7cac9006d68f4f416d8fb843f018e83623c65e6a (patch) | |
| tree | 51f3d6fee9717a6fe25ba335b91b79d831e7bd37 /scripts-dev/next_github_number.sh | |
| parent | Fix async/await calls for broken media providers. (#8027) (diff) | |
| download | synapse-7cac9006d68f4f416d8fb843f018e83623c65e6a.tar.xz | |
Spruce up the check-newsfragment CI output (#8024)
This PR: * Reduces the amount of noise in the `check-newsfragment` CI output by hiding the dependency installation output by default. * Prints a link to the changelog/debian changelog section of the contributing guide if an error is found.
Diffstat (limited to 'scripts-dev/next_github_number.sh')
0 files changed, 0 insertions, 0 deletions