Thad Guidry 6b2b38b41c Add new option for deleting tags associated to releases ... Graciously, Reddy has added a new option for us to `delete_tags` https://github.com/dev-drprasad/delete-older-releases#delete_tags		2020-06-20 12:25:45 -05:00
..
maven.yml	Add new option for deleting tags associated to releases	2020-06-20 12:25:45 -05:00
release_manager.sh	Fix GitHub action workflow to publish snapshots	2020-03-23 15:45:14 +01:00