Skip to content

Update build script to handle bad inputs and update the contributor list. #215

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jan 22, 2023
Merged

Update build script to handle bad inputs and update the contributor list. #215

merged 1 commit into from
Jan 22, 2023

Conversation

jamesrweb
Copy link
Member

No description provided.

@jamesrweb jamesrweb added enhancement dependencies Pull requests that update a dependency file documentation Pull requests that update project documentation labels Jan 22, 2023
@jamesrweb jamesrweb requested a review from a team January 22, 2023 00:34
@jamesrweb jamesrweb self-assigned this Jan 22, 2023
@jamesrweb jamesrweb requested review from yevdyko and removed request for a team January 22, 2023 00:34
@jamesrweb jamesrweb force-pushed the update-build-and-contributors branch from 3bc7f3f to 7179416 Compare January 22, 2023 01:18
@jamesrweb jamesrweb force-pushed the update-build-and-contributors branch from 7179416 to 45a9067 Compare January 22, 2023 01:25
@jamesrweb jamesrweb merged commit 347b1f1 into master Jan 22, 2023
@jamesrweb jamesrweb deleted the update-build-and-contributors branch January 22, 2023 01:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@yevdyko yevdyko Awaiting requested review from yevdyko

Assignees

@jamesrweb jamesrweb

Labels
dependencies Pull requests that update a dependency file documentation Pull requests that update project documentation enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@jamesrweb