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.

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

Update TRIPPLITE-MIB #11023

Closed
wants to merge 2 commits into from
Closed

Update TRIPPLITE-MIB #11023

wants to merge 2 commits into from

Conversation

arjitc
Copy link
Contributor

@arjitc arjitc commented Jan 10, 2020

DO NOT DELETE THIS TEXT

Please note

Please read this information carefully. You can run ./scripts/pre-commit.php to check your code before submitting.

Testers

If you would like to test this pull request then please run: ./scripts/github-apply <pr_id>, i.e ./scripts/github-apply 5926
After you are done testing, you can remove the changes with ./scripts/github-remove. If there are schema changes, you can ask on discord how to revert.

@PipoCanaja
Copy link
Contributor

Hi @arjitc
The mib you submit in this PR is TRIPPLITE-PRODUCTS, not TRIPPLITE-MIB. Please keep both instead of replacing, unless one replaces the other from the vendor point of view (and then please rename the file correctly.
Thanx

Copy link
Contributor

@PipoCanaja PipoCanaja left a comment

Choose a reason for hiding this comment

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

File renaming

@arjitc
Copy link
Contributor Author

arjitc commented Jan 11, 2020

@PipoCanaja -- Aha yes, correct. I've created a new PR for this, in #11028 -- I'll close this one now.

@arjitc arjitc closed this Jan 11, 2020
@lock lock bot locked as resolved and limited conversation to collaborators Mar 11, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants