Jason Tedor 6679c7ed95 Remove old unused release-related scripts (#56054) ... This commit removes some old and unused scripts that were related to release activities.		2020-04-30 18:16:12 -04:00
..
atomic_push.sh	Add shell script for performing atomic pushes across branches (#50401)	2019-12-19 12:55:36 -08:00
es_release_notes.pl	Align generated release notes with doc standards (#39234)	2019-02-22 07:41:16 +01:00
github_relabel.pl	Added a script to change the labels on github issues which match the search (#25828)	2017-07-21 14:41:16 +02:00
prepare_release_update_documentation.py	Release scripts: Split prepare_release into two scripts	2015-08-14 16:44:39 +02:00