Skip to content
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

Contrib/robin #449

Merged
merged 4 commits into from
May 14, 2023
Merged

Contrib/robin #449

merged 4 commits into from
May 14, 2023

Conversation

phklive
Copy link
Contributor

@phklive phklive commented May 14, 2023

Added Robin as a contributor

Pull Request type

Please check the type of change your PR introduces:

  • Bugfix
  • Feature
  • Code style update (formatting, renaming)
  • Refactoring (no functional changes, no API changes)
  • Build-related changes
  • Documentation content changes
  • Testing
  • Other (please describe):

What is the current behavior?

Issue Number: N/A

What is the new behavior?

Does this introduce a breaking change?

  • Yes
  • No

Other information

@phklive phklive requested a review from drspacemn as a code owner May 14, 2023 02:00
@phklive phklive merged commit 80c5fd2 into main May 14, 2023
@phklive phklive deleted the contrib/robin branch May 14, 2023 07:48
@github-actions github-actions bot locked and limited conversation to collaborators May 18, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@drspacemn drspacemn Awaiting requested review from drspacemn

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

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