[GEODE-8707] fix release scripts for 1.13.1

• Type: Bug
• Status: Closed
• Priority: Major
• Resolution: Fixed
• Fix Version/s: 1.14.0
• Component/s: release
• Labels: pull-request-available
• Assignee: Unassigned
• Reporter: Owen Nichols
• Created: 12/Nov/20 22:46
• Updated: 03/Sep/21 02:21
• Resolved: 18/Nov/20 04:53

Description

• fix any issues encountered during release process
• add instructions for publishing binary to github

Issue Links

• links to: GitHub Pull Request #5747