Skip to content
This repository was archived by the owner on Dec 12, 2025. It is now read-only.

Fix release script #187

Merged
chatton merged 2 commits into from
Sep 16, 2020
Merged

Fix release script #187

chatton merged 2 commits into from
Sep 16, 2020

Conversation

@chatton
Copy link
Contributor

@chatton chatton commented Sep 9, 2020

All Submissions:

  • Have you signed our CLA?
  • Have you checked to ensure there aren't other open Pull Requests for the same update/change?

It looks like there was an issue with the allowed arguments in the release script

@chatton chatton requested a review from bznein September 9, 2020 11:38
bznein
bznein approved these changes Sep 16, 2020
View reviewed changes
Copy link
Contributor

@bznein bznein left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@chatton chatton merged commit 29dc0e4 into master Sep 16, 2020
@chatton chatton deleted the fix_release_script branch September 16, 2020 09:36
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer

@bznein bznein bznein approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@chatton @bznein