Bruno Oliveira 1a61265b1e Publish GitHub release notes after deployment ... Fix #2933		2019-08-12 10:18:43 -03:00
..
publish_gh_release_notes.py	Publish GitHub release notes after deployment	2019-08-12 10:18:43 -03:00
release.minor.rst	Fix hostname	2018-08-28 14:45:04 -07:00
release.patch.rst	Fix hostname	2018-08-28 14:45:04 -07:00
release.py	pre-commit run fix-encoding-pragma --all-files	2019-06-03 12:08:01 -03:00
report-coverage.sh	ci: move coverage reporting to shared script	2019-06-06 16:31:39 +02:00
retry.cmd	Upload code coverage from azure	2019-02-26 16:56:25 +01:00