Bruno Oliveira e1becae24c Fix errors introduced by #6911 ... Somehow I've missed the failures while merging, totally my fault.		2020-05-16 13:42:39 -03:00
..
append_codecov_token.py	Append token to codecov.yml instead of duplicating the file	2020-01-14 07:47:21 -03:00
publish-gh-release-notes.py	Use --wrap=preserve in release notes script	2020-01-29 20:28:04 -03:00
release-on-comment.py	Fix errors introduced by #6911	2020-05-16 13:42:39 -03:00
release.minor.rst	doc: minor fixes for the release process	2020-01-23 18:31:48 +01:00
release.patch.rst	bug-fix fixes	2020-01-23 20:34:21 +01:00
release.py	scripts/release.py: lint: fix F999	2020-01-17 05:54:17 +01:00
report-coverage.sh	Revert "ci: codecov: use `--retry-connrefused` with curl"	2020-01-30 19:56:25 +01:00