Delete library https://github.com/DBSStore/EIS

[DBSStore]

Delete library https://github.com/DBSStore/EIS

[github-actions]

Hi @DBSStore.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

[per1234]

@DBSStore I can see from all the pull requests @eis-interbot keeps submitting that what you are truly trying to accomplish is to change the URL of the library. So please follow the standard procedure for requesting a URL change:

https://github.com/arduino/library-registry#changing-the-url-of-a-library-already-in-library-manager

[per1234]

The library from the https://github.com/eis-interbot/EIS_INTERBOT repository has now been submitted under a unique name: #5664

A commit was pushed to this pull request that causes it to have no diff. So I am closing this as invalid.

@DBSStore if you decide you still wish to remove the "EIS" library from the Arduino Library Manager registry, you can submit a new pull request for that removal.