Adding a new one, removing another

[tabahi]

• Added a new StatefulGSMLib for SIM800 modules.
• TabahiConsole needs to be removed since its hosting service is no longer operational.

[github-actions]

Hi @tabahi.
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

[github-actions]

❌ ERROR: Arduino Lint found errors with https://github.com/tabahi/StatefulGSMLib:

Linting library in StatefulGSMLib
ERROR: Library name StatefulGSMLib not found in the Library Manager index. Library names are not allowed to change after
       being added to the index.                                                                                        
       See: https://github.com/arduino/library-registry/blob/main/FAQ.md#how-can-i-change-a-librarys-name               
       (Rule LP018)                                                                                                     

Linter results for project: 1 ERRORS, 0 WARNINGS

-------------------

Linting sketch in StatefulGSMLib/examples/SMS_rx_tx

Linter results for project: no errors or warnings

-------------------

Linting sketch in StatefulGSMLib/examples/TCP_fetch_HTTP

Linter results for project: no errors or warnings

-------------------

Linting sketch in StatefulGSMLib/examples/UDP_monitoring

Linter results for project: no errors or warnings

-------------------

Linter results for projects: 1 ERRORS, 0 WARNINGS

[github-actions]

Thanks for your interest in contributing to the Arduino Library Manager index @tabahi
Please resolve the error(s) mentioned in the previous comment.

After resolving the issue, trigger this check again by doing one of the following:

• Commit the required change to the branch you submitted this pull request from.
• Comment here, mentioning @ArduinoBot in the comment.

❗ NOTE: It is not necessary to open a new pull request. ❗

More information:
https://github.com/arduino/library-registry/blob/main/README.md#if-the-problem-is-with-the-pull-request

[per1234]

Hi @tabahi. Please use a separate pull request for each distinct operation:

• One pull request for the removal of the "TabahiConsole" library
• One pull request for the submission of the "StatefulGSMLib" library

The reason this is important is because we have an automated system for handling submissions, but removals must be handled manually. If you unnecessarily jam both operations into single pull request then it means the automated system can't handle your submission.

[github-actions]

Hi @tabahi.
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